Soundcheck for SQL
- 29 March 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 214-228
- https://doi.org/10.1007/3-540-45241-9_15
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Comparing and synthesizing integrity checking methods for deductive databasesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A Modelling Approach for Handling Business Rules and ExceptionsThe Computer Journal, 1999
- Creating specialised integrity checks through partial evaluation of meta-interpretersThe Journal of Logic Programming, 1998
- Some notes on knowledge assimilation in deductive databasesPublished by Springer Nature ,1998
- Materialized view maintenance and integrity constraint checkingPublished by Association for Computing Machinery (ACM) ,1996
- Constraint checking with partial informationPublished by Association for Computing Machinery (ACM) ,1994
- Independence of logic database queries and updatePublished by Association for Computing Machinery (ACM) ,1990
- Heuristics for syntactical optimization of relational queriesInformation Processing Letters, 1989
- The Range Form of Databases and Queries or: How to Avoid FlounderingPublished by Springer Nature ,1989
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982