Providing explanations for database schema validation

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

Volumn 5181 LNCS, Issue , 2008, Pages 660-667

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

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ARTIFICIAL INTELLIGENCE; DECISION SUPPORT SYSTEMS; ERROR ANALYSIS; EXPERT SYSTEMS; MANAGEMENT INFORMATION SYSTEMS;

CQC METHOD; DATABASE SCHEMA; INTERNATIONAL CONFERENCES;

DATABASE SYSTEMS;

EID: 52949140620     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85654-2_56     Document Type: Conference Paper

References (9)

1. Bailey, J., Stuckey, P.J.: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. In: PADL, pp. 174-186 (2005)
2. Farré, C., Rull, G., Teniente. E., Urpí. T.: SVTE A Tool to Validate Database Schemas giving Explanations. In: DBTest 2008 Workshop (to appear, 2008)
3. Farré, C., Teniente, E., Urpí, T.: A New Approach for Checking Schema Validation Properties. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 77-86. Springer, Heidelberg (2004)
4. Farré, C., Teniente, E., Urpí, T.: Checking Query Containment with the CQC Method. Data Knowl. Eng. 53(2), 163-223 (2005)
5. Halevy, A.Y., Mumick, I.S., Sagiv, Y., Shmueli. O.: Static Analysis in Datalog Extensions. J. ACM 48(5), 971-1012 (2001)
6. Rull, G., Farré, C., Teniente, E., Urpí, T.: Computing Explanations for Unlively Queries in Databases. In: CIKM 2007. pp. 955-958 (2007)
7. Rull, G., Farré, C., Teniente, E., Urpí, T.: Providing Explanations for Database Schema Validation. Research Report LSI-08-14-R. Universität Politècnica de Catalunya (2008), http://www.lsi.upe.edu/ dept/techreps/techreps.html
8. Teniente, E., Farré, C., Urpí, T., Beltrán, C., Gañán, D.: SVT: Schema Validation Tool foiMicrosoft SQL-Server. In: VLDB 2004. pp. 1349-1352 (2004)
9. Zhang, X., Özsoyoglu, Z.M.: Implication and Referential Constraints: A New Formal Reasoning. IEEE Trans. Knowl. Data Eng. 9(6), 894-910 (1997)