On the modes and meaning of feedback to transaction designers
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
DALI-a knowledge base management system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
VLDB '89 Proceedings of the 15th international conference on Very large data bases
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A decompositional approach to database constraint enforcement
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Enhancing database correctness: a statistical approach
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Verifiable properties of database transactions
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Thémis: a database programming language handling integrity constraints
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Rule-Based Consistency Enforcement for Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Integrity Constraint Reformulation for Efficient Validation
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Enforcing Inclusion Dependencies and Referencial Integrity
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Integrity Maintenance in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
Concurrent checking of global cross-database integrity constraints
Integrity and internal control in information systems V
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Reducing lookups for invariant checking
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Hi-index | 0.00 |