Simplification of integrity constraints with aggregates and arithmetic built-ins

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3055, Issue , 2004, Pages 348-361

  Martinenghi, Davide ^a  

^a ROSKILDE UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONSTRAINT THEORY; LOGIC PROGRAMMING; ONLINE SYSTEMS; OPTIMIZATION; QUERY LANGUAGES; SEMANTICS; AGGREGATES; DATABASE SYSTEMS; INTELLIGENT DATABASES;

CONSTRAINT PROGRAMMING; DATA CONSISTENCY; SEMANTIC QUERY OPTIMIZATION (SQO);

DATABASE SYSTEMS; QUERY PROCESSING;

ARITHMETIC CONSTRAINTS; ARITHMETIC EXPRESSION; DATA CONSISTENCY; DATABASE DESIGN; DATABASE TECHNOLOGY; INTEGRITY CHECKING; INTEGRITY CONSTRAINTS; PRACTICAL USE;

EID: 9444291416     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25957-2_28     Document Type: Conference Paper

References (28)

1. Bülzingsloewen, G. Translating and Optimizing SQL Queries Having Aggregates. VLDB 1987: 235-243, Morgan Kaufmann (1987).
2. Chakravarthy, U. S., Grant, J., Minker, J. Foundations of semantic query optimization for deductive databases. Foundations of Deductive Databases and Logic Programming: 243-273, Minker, J. (Ed.), Morgan Kaufmann (1988).
3. Chakravarthy, U., Grant, J., Minker, J. Logic-based approach to semantic query optimization. ACM TODS 15(2): 162-207, ACM Press (1990).
4. Christiansen, H., Martinenghi, D., Simplification of database integrity constraints revisited: A transformational approach. LOPSTR 2003, to appear in LNCS, Springer (2004).
5. Christiansen, H., Martinenghi, D. Simplification of integrity constraints for data integration. FoIKS 2004: 31-48, LNCS 2942, Springer (2004).
6. Cohen, S., Nutt, W., Serebrenik, A. Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000: 65-78, LNCS 1884, Springer (2000).
7. Carlsson, M., Ottosson, G., Carlson, B. An Open-Ended Finite Domain Constraint Solver. PLILP 1997: 191-206, LNCS 1292, Springer (1997).
8. Chaudhuri, S., Vardi., M. Optimization of real conjunctive queries. ACM SIGACT-SIGMOD-SIGART PODS 1993: 59-70, ACM Press (1993).
9. Dijkstra, E.W. A Discipline of Programming. Prentice-Hall (1976).
10. Das, S. Deductive Databases and Logic Programming. Addison-Wesley (1992).
11. Decker, H., Celma, M. A slick procedure for integrity checking in deductive databases. ICLP 1994: 456-469, MIT Press (1994).
12. Denecker, M., Pelov, N., Bruynooghe, M. Ultimate Well-founded and Stable Semantics for Logic Programs with Aggregates. ICLP 2001: 212-226, LNCS 2237, Springer (2001).
13. Frühwirth, T.W. Theory and Practice of Constraint Handling Rules, JLP 37(1-3): 95-138 (1998).
14. Furfaro, F., Greco, S., Ganguly, S., Zaniolo, C. Pushing extrema aggregates to optimize logic queries. Inf. Syst. 27(5): 321-343, Elsevier (2002).
15. Grant, J., Minker, J. Integrity Constraints in Knowledge Based Systems. In Knowledge Eng. II, Applications: 1-25, Adeli, H. (Ed.), McGraw-Hill (1990).
16. Godfrey, P., Grant, J., Gryz, J., Minker, J. Integrity Constraints: Semantics and Applications. Logics for Databases and Information System: 265-306, Chomicki, J. Saake, G. (Eds.), Kluwer (1988).
17. Henschen, L., McCune, W., Naqvi, S. Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Database Theory 1982, volume 2: 145-169, Gallaire, H., Nicolas, J.-M., Minker, J. (Eds.), Plenum Press (1984).
18. Hoare, C.A.R. (1969). An axiomatic basis for computer programming. Commun. ACM 12(10): 576-580, ACM Press (1969).
19. Jaffar, J, Maher, M. Constraint Logic Programming: A Survey. JLP 19/20: 503-581 (1994).
20. Kemp, D., Stuckey, P. Semantics of Logic Programs with Aggregates. ISLP 1991: 387-401, MIT Press (1991)
21. Leuschel, M., De Schreye, D. Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. JLP 36(2): 149-193 (1998).
22. Lloyd, J., Sonenberg, L., Topor, R. (1987). Integrity Constraint Checking in Stratified Databases. JLP 4(4): 331-343 (1987).
23. Martinenghi, D. A Simplification Procedure for Integrity Constraints. World Wide Web, http://www.dat.ruc.dk/-dm/spic/index.html (2003).
24. Nicolas, J.-M. Logic for Improving Integrity Checking in Relational Data Bases., Acta Inf. 18: 227-253 (1982).
25. Nilsson, U., Mailuzyński, J. Logic, Programming and Prolog (2nd ed.), JohnWiley & Sons Ltd. (1995).
26. Qian, X. An Effective Method for Integrity Constraint Simplification. ICDE 1988: 338-345, IEEE Computer Society (1988).
27. Wang, H., Zaniolo, C. User-Defined Aggregates in Database Languages, DBPL 1999: 43-60, LNCS 1949, Springer (2002).
28. Zaniolo, C. Key Constraints and Monotonic Aggregates in Deductive Databases. Comput. Logic: 109-134, LNAI 2408, Springer (2002).