Distributed databases principles and systems
Distributed databases principles and systems
What makes a knowledge base knowledgeable? A view of databases from the knowledge level
Proceedings from the first international workshop on Expert database systems
Constraint management in expert database systems
Proceedings from the first international workshop on Expert database systems
External semantic query simplification: a graph-theoretic approach and its implementation in Prolog
Proceedings from the first international workshop on Expert database systems
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Theorem Proving via General Matings
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Locking Expressions for Increased Database Concurrency
Journal of the ACM (JACM)
The notions of consistency and predicate locks in a database system
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The complexity of testing predicate locks
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Range nesting: a fast method to evaluate quantified queries
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Common expression analysis in database applications
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Ein Beweisverfahren für Datenbankprädikate
GWAI '85 Proceedings of the 9th German Workshop on Artificial Intelligence
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities
Proceedings of the 5th Conference on Automated Deduction
Consistency and orderability: semantics-based correctness criteria for databases
ACM Transactions on Database Systems (TODS)
Maintenance of implication integrity constraints under updates to constraints
The VLDB Journal — The International Journal on Very Large Data Bases
Localization of distributed data in a CORBA-based environment
WSEAS Transactions on Information Science and Applications
Hi-index | 0.00 |