A new approach for checking schema validation properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3180, Issue , 2004, Pages 77-86

  Farré, Carles ^a   Teniente, Ernest ^a   Urpí, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; EXPERT SYSTEMS; FORMAL LOGIC;

CONSTRAINT SATISFIABILITY; DATABASE SCHEMAS; INTEGRITY CONSTRAINTS; NEW APPROACHES; QUERY CONTAINMENT; REACHABILITY; SATISFIABILITY; SCHEMA VALIDATION;

QUERY PROCESSING;

EID: 35048868013     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30075-5_8     Document Type: Article

References (17)

1. F. Bry, H. Decker, R. Manthey. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In EDBT'88:488-505, 1988.
2. F. Bry, N. Eisinger, H. Schütz, S. Torge. SIC: Satisfiability Checking for Integrity Constraints. In Proceedings of DDLP'98: 25-36, 1998.
3. F. Bry, R. Manthey. Checking Consistency of Database Constraints: a Logical Basis. In Proceedings of VLDB'86: 13-20, 1986.
4. F. Bry, S. Torge: A Deduction Method Complete for Refutation and Finite Satisfiability. In Proceedings of JELIA '98: 122-138, 1998.
5. F. Bry, A. Yahya. Positive Unit Hyperresolution Tableaux an Their Application to Minimal Model Generation. Journal of Automated Reasoning 25: 35-82, 2000.
6. L. Cavedon, J.W. Lloyd. A Completeness Theorem for SLDNF Resolution, Journal of Logic Programming, 7(3):177-191, 1989.
7. H. Decker, E. Teniente, T. Urpí. How to Tackle Schema Validation by View Updating. In Proceedings of EDBT'96: 535-549, 1996
8. C. Farré. A New Method for Query Containment Checking in Databases. PhD. Thesis, Universitat Politècnica de Catalunya, 2003
9. C. Farré, E. Teniente, T. Urpí. Query Containment With Negated IDB Predicates. Proceedings of ADBIS 2003: 411-429, 2003.
10. C. Farré, E. Teniente, T. Urpí. Handling Existential Derived Relations in View Updating. Proceedings of the ICLP 2003: 148-162, 2003.
11. C. Farré, E. Teniente, T. Urpí, C. Beltrán, D. Gañán. SVT: Schema Validation Tool for Microsoft SQL-Server. To appear in Proceedings, of the VLDB 2004.
12. A. Gupta, Y. Sagiv, J.D. Ullman, J. Widom. Constraint Checking with Partial Information. In Proceedings of PoDS'94: 45-55, 1994.
13. A.Y. Halevy, I.S. Mumick, Y. Sagiv, O. Shmueli. Static Analysis in Datalog Extensions. Journal of the ACM, 48(5): 971-1012, 2001.
14. R. Manthey, F. Bry. SATCHMO: A Theorem Prover Implemented in Prolog. In Proceedings of CADE'88: 415-434, 1988.
15. E. Mayol, E. Teniente. A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In Proc. of the ER'99 Workshops: 62-73, 1999.
16. C. Türker, M. Gertz. Semantic Integrity Support in SQL-99 and Commercial (Object-)Relational Database Management Systems. VLDB Journal 10(4): 241-269, 2001.
17. X. Zhang, M.Z. Ozsoyoglu. Implication and Referential Constraints: A New Formal Reasoning. IEEE TKDE, 9(6): 894-910, 1997.