Computing explanations for unlively queries in databases

International Conference on Information and Knowledge Management, Proceedings

Volumn , Issue , 2007, Pages 955-958

  Rull, Guillem ^a   Farre, Carles ^a   Teniente, Ernest ^a   Urpí, Toni ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Database schema validation; Query liveliness

Indexed keywords

DATABASE SCHEMA VALIDATION; EXISTING METHODS; QUERY LIVELINESS;

KNOWLEDGE MANAGEMENT;

EID: 57349188098     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321440.1321584     Document Type: Conference Paper

References (7)

1. James Bailey, Peter J. Stuckey: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. Practical Aspects of Declarative Languages (PADL) 2005: 174-186.
2. Hendrik Decker, Ernest Teniente, Toni Urpi: How to Tackle Schema Validation by View Updating. Int. Conf. on Extending DB Technology (EDBT) 1996: 535-549.
3. Carles Farre, Ernest Teniente, Toni Urpi: Checking query containment with the CQC method. Data Knowl. Eng. 53(2): 163-223 (2005).
4. Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli: Static analysis in datalog extensions. J. ACM 48(5): 971-1012 (2001).
5. The Mondial database http://www.dbis.informatik.unigoettingen.de/Mondial/ .
6. Stefan Schlobach, Ronald Cornet: Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. International Joint Conference on Artificial Intelligence (IJCAI) 2003: 355-362.
7. Ernest Teniente, Carles Farre, Toni Urpi, Carlos Beltran, David Gañán: SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB 2004: 1349-1352.