On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Human error detection processes
International Journal of Man-Machine Studies - Special Issue: Cognitive Engineering in Dynamic Worlds
The effects of relational and entity-relationship data models on query performance of end users
International Journal of Man-Machine Studies
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
CoBase: a scalable and extensible cooperative information system
Journal of Intelligent Information Systems - Special issue on intelligent integration of information
Using inductive learning to generate rules for semantic query optimization
Advances in knowledge discovery and data mining
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Joe Celko's SQL for smarties: advanced SQL programming (2nd editor)
Joe Celko's SQL for smarties: advanced SQL programming (2nd editor)
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
The relationship between user query accuracy and lines of code
International Journal of Human-Computer Studies
Three important determinants of user performance for database retrieval
International Journal of Human-Computer Studies
Human Factors Studies of Database Query Languages: A Survey and Assessment
ACM Computing Surveys (CSUR)
Static analysis in datalog extensions
Journal of the ACM (JACM)
Using Evaluation to Shape ITS Design: Results and Experiences with SQL-Tutor
User Modeling and User-Adapted Interaction
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Automatic Generation of Database Instances for White-box Testing
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Using an SQL coverage measurement for testing database applications
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Proving the Safety of SQL Queries
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A practical guide to SQL white-box testing
ACM SIGPLAN Notices
Information and Software Technology
A controlled experiment on white-box database testing
ACM SIGSOFT Software Engineering Notes
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
Journal of Data and Information Quality (JDIQ)
A comparison of database fault detection capabilities using mutation testing
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
| Hi-index | 0.00 |
We investigate classes of SQL queries which are syntactically correct, but certainly not intended, no matter for which task the query was written. For instance, queries that are contradictory, i.e. always return the empty set, are obviously not intended. However, current database management systems (DBMS) execute such queries without any warning. In this paper, we give an extensive list of conditions that are strong indications of semantic errors. Of course, questions like the satisfiability are in general undecidable, but a significant subset of SQL queries can actually be checked. We believe that future DBMS will perform such checks and that the generated warnings will help to develop application programs with fewer bugs in less time.