Research and Teaching Papers
The following research papers contain material that is complementary to
the content of the course.
-
Sha Guo, Wei Sun, Mark Allen Weiss:
Solving Satisfiability and Implication Problems in Database
Systems,
ACM Trans. Database Syst. 21(2): 270-293 (1996)
-
Stephen G. Simpson,
Theorems of Church and Trakhtenbrot,
Material for Course "Math 557: Mathematical Logic" at Penn State University
-
Sara Cohen, Werner Nutt, Yehoshua Sagiv:
Deciding Equivalences among Conjunctive Aggregate Queries,
J. ACM 54(2): (2007)
The paper contains, among other things, a formal characterization of containment among conjunctive
queries with comparisons
and proves characterizations of the equivalence of conjunctive queries
under bag-set semantics.
-
Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí:
Containment of Conjunctive Queries over Databases with Null Values,
Proc. Int. Conf. Database Theory (ICDT 2007)
In this paper there is a proof of the complexity of containment in the presence of predicates and
their negation.
Back to the course home page