Categories and Subject Descriptors: H.2.4 [Database Management]: Systems -- query processing; I.2.3 [Artificial Intelligence]: Deduction and Theorem Proving -- answer extraction, deduction; I.2.4 [Artificial Intelligence]: Knowledge Representation Formalisms and Methods -- knowledge representation \andfoundations and methods, predicate calculus
General Terms: Management, Theory
Additional Key Words and Phrases: Chase procedure, data dependencies, incomplete information
Selected references
- Catriel Beeri and Moshe Y. Vardi. A proof procedure for data dependencies. Journal of the ACM, 31(4):718-741, October 1984.
- Ronald Fagin. Horn clauses and database dependencies (extended abstract). In Conference Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, pages 123-134, Los Angeles, California, 28-30 April 1980.
- Tomasz Imieli\'nski and Witold Lipski, Jr. Incomplete information in relational databases. Journal of the ACM, 31(4):761-791, October 1984.