vix.ing · top · new · best · stats · spec

Arulraj, Joy

  1. A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
    2020/04/01 by Qi Zhou, Joy Arulraj, Zhou, Qi +7 · 1 citation
    Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge