Reasoning with disjunctive constrained tuple-generating dependencies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2113, Issue , 2001, Pages 963-973

  Wang, Junhu ^a   Topor, Rodney ^a   Maher, Michael ^a,b  

^a GRIFFITH UNIVERSITY   (Australia)

^b LOYOLA UNIVERSITY CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; EXPERT SYSTEMS; SEMANTICS;

CHASE ALGORITHM; IMPLICATION PROBLEM; INTEGRITY CONSTRAINTS; RELATIONAL DATABASE; SEMANTIC QUERY; TUPLE-GENERATING DEPENDENCIES;

QUERY PROCESSING;

EID: 24644499550     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44759-8_93     Document Type: Conference Paper

References (8)

1. M. J. Maher and D. Srivastava. Chasing constrained tuple-generating dependencies. In Proc. ACM Symp. PODS, New York, 1996.
2. R. Fagin and M. Y. Vardi. The theory of data dependencies—an overview. In LNCS v 172, 1-22, Springer-Verlag, 1984.
3. M. Baudinet, J. Chomicki, and P. Wolper. Constraint-generating dependencies. Journal of Computer and System Sciences 59, 94-115, 1999.
4. M. J. Maher and J. Wang. Optimizing queries in extended relational databases. In DEXA2000, Lodon, LNCS 1873, p 386-396.
5. J. D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1 & 2. Computer Science Press, 1st edition, 1988.
6. X. Zhang and Z. M. Özsoyoglu. Implication and referential constraints: A new formal reasoning. IEEE TKDE, 9(6):894-910, Nov/Dec 1997.
7. S. Chaudhuri and K. Shim. Query optimization in the presence of foreign functions. In Proc. of the 19th international conference on VLDB, Dublin, Ireland, 1993.
8. M. J. Maher. A logic programming view of CLP. In Proc. 10th International Conference on Logic Programming, pages 737-753, Budapest, Hungary, 1993.