Implication and referential constraints: a new formal reasoning

IEEE Transactions on Knowledge and Data Engineering

Volumn 9, Issue 6, 1997, Pages 894-910

  Zhang, Xubo ^a   Ozsoyoglu, Z Meral ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; OPTIMIZATION;

FORMAL REASONING; SEMANTIC INTEGRITY CONSTRAINTS; SEMANTIC QUERY OPTIMIZATION;

ARTIFICIAL INTELLIGENCE;

EID: 0031273003     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.649315     Document Type: Article

References (29)

1. J.D. Ullman Principles of Database and Knowledge-Base Systems, 1989
2. J.D. Ullman Principles of Database and Knowledge-Base Systems, 1989
3. C-L Chang R.C. Lee Symbolic Logic and Mechanical Theorem Proving. 1973
4. C.M. Garey D.S. Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness. 1979 San Francisco: