Implication and Referential Constraints: A New Formal Reasoning.

@article{DBLP:journals/tkde/ZhangO97,
  author    = {Xubo Zhang and
               Z. Meral {\"O}zsoyoglu},
  title     = {Implication and Referential Constraints: A New Formal Reasoning},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {6},
  year      = {1997},
  pages     = {894-910},
  ee        = {db/journals/tkde/ZhangO97.html, http://www.computer.org/tkde/tk1997/k0894abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Online Edition: IEEE Computer Society Digital Library

References

[1]

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Equivalences Among Relational Expressions. SIAM J. Comput. 8(2): 218-246(1979) BibTeX

[2]

Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Optimization of a Class of Relational Expressions. ACM Trans. Database Syst. 4(4): 435-454(1979) BibTeX

[3]

Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59(1984) BibTeX

[4]

Ashok K. Chandra, Zohar Manna: On the Power of Programming Features. Comput. Lang. 1(3): 219-232(1976) BibTeX

[5]

Upen S. Chakravarthy, John Grant, Jack Minker: Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207(1990) BibTeX

[6]

...

[7]

...

[8]

Stavros S. Cosmadakis, Paris C. Kanellakis: Functional and Inclusion Dependencies: A Graph Theoretic Approach. PODS 1984: 29-37 BibTeX

[9]

Pratul Dublish, Joachim Biskup, Yehoshua Sagiv: Optimizatioin of a Subclass of Conjunctive Queries. ICDT 1990: 455-469 BibTeX

[10]

Nachum Dershowitz: Termination. RTA 1985: 180-224 BibTeX

[11]

Charles Elkan: Independence of Logic Database Queries and Updates. PODS 1990: 154-160 BibTeX

[12]

M. M. Fonkam, W. A. Gray: Employing Integrity Constraints for Query Modification and Intensional Answer Generation in Multi-database Systems. BNCOD 1992: 244-260 BibTeX

[13]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[14]

Jiawei Han: Constraint-Based Reasoning in Deductive Databases. ICDE 1991: 257-265 BibTeX

[15]

Michael Hammer, Stanley B. Zdonik: Knowledge-Based Query Processing. VLDB 1980: 137-147 BibTeX

[16]

David S. Johnson, Anthony C. Klug: Optimizing Conjunctive Queries that Contain Untyped Variables. SIAM J. Comput. 12(4): 616-640(1983) BibTeX

[17]

David S. Johnson, Anthony C. Klug: Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. J. Comput. Syst. Sci. 28(1): 167-189(1984) BibTeX

[18]

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313 BibTeX

[19]

Jonathan J. King: QUIST: A System for Semantic Query Optimization in Relational Databases. VLDB 1981: 510-517 BibTeX

[20]

Anthony C. Klug: On conjunctive queries containing inequalities. J. ACM 35(1): 146-160(1988) BibTeX

[21]

Sanggoo Lee, Jiawei Han: Semantic Query Optimization in Recursive Databases. ICDE 1988: 444-451 BibTeX

[22]

Alon Y. Levy, Yehoshua Sagiv: Constraints and Redundancy in Datalog. PODS 1992: 67-80 BibTeX

[23]

Alon Y. Levy, Yehoshua Sagiv: Semantic Query Optimization in Datalog Programs. PODS 1995: 163-173 BibTeX

[24]

Ron van der Meyden: The Complexity of Querying Indefinite Data about Linearly Ordered Domains. PODS 1992: 331-345 BibTeX

[25]

John C. Mitchell: Inference Rules for Functional and Inclusion Dependencies. PODS 1983: 58-69 BibTeX

[26]

John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies. Information and Control 56(3): 154-173(1983) BibTeX

[27]

Amihai Motro: Using Integrity Constraints to Provide Intensional Answers to Relational Queries. VLDB 1989: 237-246 BibTeX

[28]

Naci Ishakbeyoglu, Z. Meral Özsoyoglu: On the Maintenance of Implication Integrity Constraints. DEXA 1993: 221-232 BibTeX

[29]

...

[30]

HweeHwa Pang, Hongjun Lu, Beng Chin Ooi: An Efficient Semantic Query Optimization Algorithm. ICDE 1991: 326-335 BibTeX

[31]

Alain Pirotte, Dominique Roelants: Constraints for Improving the Generation of Intensional Answers in a Deductive Database. ICDE 1989: 652-659 BibTeX

[32]

Yehoshua Sagiv: Quadratic Algorithms for Minimizing Joins in Restricted Relational Expressions. SIAM J. Comput. 12(2): 316-328(1983) BibTeX

[33]

Yehoshua Sagiv, Mihalis Yannakakis: Equivalences Among Relational Expressions with the Union and Difference Operators. J. ACM 27(4): 633-655(1980) BibTeX

[34]

Edward Sciore: Inclusion Dependencies and the Universal Instance. PODS 1983: 48-57 BibTeX

[35]

Sreekumar T. Shenoy, Z. Meral Özsoyoglu: A System for Semantic Query Optimization. SIGMOD Conference 1987: 181-195 BibTeX

[36]

...

[37]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[38]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[39]

Xubo Zhang, Z. Meral Özsoyoglu: On Efficient Reasoning with Implication Constraints. DOOD 1993: 236-252 BibTeX

[40]

Xubo Zhang, Z. Meral Özsoyoglu: Some Results on the Containment and Minimization of (in) Equality Queries. Inf. Process. Lett. 50(5): 259-267(1994) BibTeX