Active integrity constraints

Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

Volumn , Issue , 2004, Pages 98-107

  Flesca, Sergio ^a   Greco, Sergio ^a   Zumpano, Ester ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Inconsistent Database; Integrity Constraints; Logic Programming

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA WAREHOUSES; DATABASE SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

COMPUTING DATABASE; DATALOG PROGRAMS; INCONSISTENT DATABASES; INTEGRITY CONSTRAINTS;

LOGIC PROGRAMMING;

EID: 11244327771     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013963.1013977     Document Type: Conference Paper

References (28)

1. Abiteboul S., Hull R., and Vianu V. Foundations of Databases. Addison-Wesley Publishing Co., 1994.
2. Alferes J. J., J. A. Leite, Pereira L. M., Przymusinska H., and Przymusinski T.C. Dynamic updates of non-monotonic knowledge bases. Journal Logic Programming, 45(1-3):43-70, 2000.
3. Alferes J. J., Pereira L. M., Przymusinska H., and Przymusinski T. C. Lupsa language for updating logic programs. Artificial Intelligence, 138(1-2):87-116, 2002.
4. Arenas M., Bertossi L., and Chomicki J. Consistent query answers in inconsistent databases. In Proc. Int. Symp. on Principles of Database Systems (PODS), pages 68-79, 1999.
5. Arenas M., Bertossi L., and Chomicki J. Specifying and querying database repairs using logic programs with exceptions. In Flexible Query-Answering Systems (FQAS), pages 27-41, 2000.
6. Baral C. and Zhang Y. On the semantics of knowledge update. In IJCAI Conference, pages 97-102, 2001.
7. Chitta C. Embedding revision programs in logic programming situation calculus. Journal of Logic Programming, 30(1):83-97, 1997.
8. Bry F. Query answering in information system with integrity constraints. In IFIP, pages 113-130, 1997.
9. Brewka G. and Eiter T. Preferred answer sets for extended logic programs. AI, 109(1-2):297-359, 1999.
10. Chomicki J. Querying with intrinsic preferences. In Proc. EDBT Conference, pages 34-51, 2002.
11. Chomicki J., Lobo J., and Naqvi S. A. Conflict resolution using logic programming. IEEE Trans. Knowl. Data Eng., 15(1):244-249, 2003.
12. Eiter T., Gottlob G., and Mannila H. Disjunctive datalog. TODS, 22(3):364-418, 1997.
13. Flesca, S., Greco, S., Declarative semantics for active rules, In TPLP, 1(1):43-69, 2001.
14. Gelfond M. and Lifschitz V. The stable model semantics for logic programming. In ICLP/SLP, pages 1070-1080, 1988.
15. Gelfond M. and Lifschitz V. Classical negation in logic programs and disjunctive databases. NGC, 9(3/4):365-385, 1991.
16. Grant J. and Subrahmanian V. S. Reasoning in inconsistent knowledge bases. TKDE, 7(1):177-189, 1995.
17. Greco G., Greco S., and Zumpano E. A logic programming approach to the integration, repairing and querying of inconsistent databases. In ICLP, pages 348-364, 2001.
18. Kanellakis P. C. Elements of Relational Database Theory - Handbook of Theoretical Computer Science Vol. 2. J. van Leewen (ed.), North-Holland, 1991.
19. Kifer M. and Li A. On the semantics of rule-based expert systems with uncertainty. In ICDT, pages 102-117, 1988.
20. Kowalski R.A. and Sadri F. Logic programs with exceptions. NGC, 9(3/4):387-400, 1991.
21. Lin J. A semantics for reasoning consistently in the presence of inconsistency. AI, 86(1):75-95, 1996.
22. Marek V. W., Pivkina I., and Truszczynski M. Revision programming = logic programming + integrity constraints. In Computer Science Logic, pages 73-98, 1998.
23. Marek V. W. and Truszczynski M. Revision programming. Theoretical Computer Science, 190(2):241-277, 1998.
24. Sakama C. and Inoue K. Priorized logic programming and its application to commonsense reasoning. Artificial Intelligence, 123(1-2):185-222, 2000.
25. Subrahmanian V. S. Amalgamating knowledge bases. TODS, 19(2):291-331, 1994.
26. Ullman J. K. Principles of Database and Knowledge-Base Systems, Vol. 1. Computer Science Press, 1998.
27. Wijsen J. Condensed representation of database repairs for consistent query answering. In ICDT, pages 378-393, 2003.
28. Zhang Y. and Foo N. Answer sets for prioritized logic programs. In ILPS, pages 69-83, 1997.