On compiling queries in recursive first-order databases
Journal of the ACM (JACM)
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
On database systems development through logic
ACM Transactions on Database Systems (TODS)
On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Search strategy and selection function for an inferential relational system
ACM Transactions on Database Systems (TODS)
Normalization and hierarchical dependencies in the relational data model
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Multivalued dependencies and a new normal form for relational databases
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
Journal of the ACM (JACM)
The Unit Proof and the Input Proof in Theorem Proving
Journal of the ACM (JACM)
Two Results on Ordering for Resolution with Merging and Linear Format
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
Journal of the ACM (JACM)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relational database: a practical foundation for productivity
Communications of the ACM
A history and evaluation of System R
Communications of the ACM
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Performing inferences over relation data bases
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
First order logic formalization for functional, multivalued and mutual dependencies
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
Logic for Problem Solving
First-Order Dynamic Logic
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
The logic of a relational data manipulation language
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Advances in Data Base Theory
Logic and Data Bases
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Null values in data base management a denotational semantics approach
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Applications of Protected Circumscription
Proceedings of the 7th International Conference on Automated Deduction
Embedded implicational dependencies and their inference problem
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Computable queries for relational data bases (Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
A complete axiomatization for a large class of dependencies in relational datatbases
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Horn clauses and database dependencies (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Data models in database management
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Associating types with domains of relational data bases
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Data abstraction, data bases and conceptual modelling (Position Paper)
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values
A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values
ACL '81 Proceedings of the 19th annual meeting on Association for Computational Linguistics
Theory of Relational Databases
Theory of Relational Databases
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Automated theorem proving: A logical basis (Fundamental studies in computer science)
Logic and databases: a critique
ACM SIGACT News
SEAVE: a mechanism for verifying user presuppositions in query systems
ACM Transactions on Information Systems (TOIS)
A decidable query answering algorithm for circumscriptive theories
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A semantic and logical front-end to a database system
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Evidential logic and Dempster-Shafer theory
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Storing and evaluating Horn-clause rules in a relational database
IBM Journal of Research and Development
Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Evaluation of database recursive logic programs as recurrent function series
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Query processing in deductive databases with incomplete information
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A rule-based object/task modelling approach
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A model and an architecture for a relational knowledge base
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Logic and databases: a critique
ACM SIGPLAN Notices
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Specification and implementation of programs for updating incomplete information databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A data-driven model for a subset of logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Query optimization by simulated annealing
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A study of transitive closure as a recursion mechanism
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An extension to the relational model for indefinite databases
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Towards fully-computerized database maintenance for non-traditional appliances
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
ACM Transactions on Computer Systems (TOCS)
A sound and complete query evaluation algorithm for relational databases with null values
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
An implementation model for reasoning with complex objects
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Classification of recursive formulas in deductive databases
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries
IEEE Transactions on Software Engineering
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
The Computational Completeness of Extended Database Query Languages
IEEE Transactions on Software Engineering
A deductive database based on aristotelian logic
Journal of Symbolic Computation
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Relational specifications of infinite query answers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Indefinite and maybe information in relational databases
ACM Transactions on Database Systems (TODS)
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
One the design and implementation of information systems from deductive conceptual models
VLDB '89 Proceedings of the 15th international conference on Very large data bases
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Extension of the relational database semantic processing model
IBM Systems Journal
A deductive database architecture based on partial evaluation
ACM SIGMOD Record
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nested relation based database knowledge representation
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The impact of logic programming on databases
Communications of the ACM
A deductive database audit trail
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Reasoning about naming systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Development and evaluation of an application in a deductive environment
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Towards a relational model for exclusively disjunctive information
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Factorization and circuit in the connection method
Journal of the ACM (JACM)
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Intelligent query answering in deductive and object-oriented databases
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Linguistic instruments and qualitative reasoning for schema integration
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Semantic query processing in object-oriented databases using deductive approach
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
Multi-Path Reasoning in a Database
Journal of Intelligent Information Systems
Bell and LaPadula axioms: a “new” paradigm for an “old” model
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Neighborhood data and database security
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Semigroup techniques in recursive query optimization
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Transaction restarts in Prolog database systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Using domain knowledge in knowledge discovery
Proceedings of the eighth international conference on Information and knowledge management
Fault tolerance in deductive knowledge bases
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
An object/task modleing approach based on domain knowledge and control knowledge representation
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A relational database machine based on functional programming concepts
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Knowledge-based query processing in object bases
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Some relational query language design issues and the language MQL
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Efficient Rule-Based Attribute-Oriented Induction for Data Mining
Journal of Intelligent Information Systems
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Journal of Automated Reasoning
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Moving Selections into Linear Least Fixpoint Queries
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Formal Specification of Geographic Data Processing Requirements
IEEE Transactions on Knowledge and Data Engineering
Extending SQL with General Transitive Closure and Extreme Value Selections
IEEE Transactions on Knowledge and Data Engineering
A Generalized Relational Model for Indefinite and Maybe Information
IEEE Transactions on Knowledge and Data Engineering
Controlled Generation of Intensional Answers
IEEE Transactions on Knowledge and Data Engineering
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Object-Oriented Query Languages: The Notion and the Issues
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Using a Relational Database to Support Explanation in a Knowledge-Based System
IEEE Transactions on Knowledge and Data Engineering
An Object-Oriented Query Evaluation Scheme for Logical Databases in Massively Parallel Environment
IEEE Transactions on Knowledge and Data Engineering
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Efficient Query Processing for a Subset of Linear Recursive Binary Rules
IEEE Transactions on Knowledge and Data Engineering
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
IEEE Expert: Intelligent Systems and Their Applications
Data-Driven Discovery of Quantitative Rules in Relational Databases
IEEE Transactions on Knowledge and Data Engineering
RQL: A Recursive Query Language
IEEE Transactions on Knowledge and Data Engineering
Evaluation and Optimization of Query Programs in an Object-Oriented and Symbolic Information System
IEEE Transactions on Knowledge and Data Engineering
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Optimizing the Rule-Data Interface in a KMS
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Research and Development on Knowledge Bases Systems at ICOT
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
On the Computation of the Transitive Closure of Relational Operators
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Optimization of Nonrecursive Queries
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Using Design Axioms and Topology to Model Database Semantics
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Dealing with Temporal Schema Anomalies in History Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Computing Facts in Non-Horn Deductive Systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Knowledge Discovery in Databases: An Attribute-Oriented Approach
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Deduction Method Complete for Refutation and Finite Satisfiability
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Improved Exact Algorithms for MAX-SAT
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Readable Machine Solving in Geometry and ICAI Software MSG
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
DrawCAD: using deductive object-relational databases in CAD
Software—Practice & Experience
Translating advanced integrity checking technology to SQL
Database integrity
A tuple-oriented algorithm for deduction in a fuzzy relational database
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
Realizability semantics for error-tolerant logics: preliminary version
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A methodology and tool support for managing business rules in organisations
Information Systems
A new approach to proving upper bounds for MAX-2-SAT
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Database dependency discovery: a machine learning approach
AI Communications
A time bound on the materialization of some recursively defined views
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Data constructors: on the integration of rules and relations
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
The representation and deductive retrieval of complex objects
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Artificial Intelligence Review
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
A formal framework for reflective database access control policies
Proceedings of the 15th ACM conference on Computer and communications security
Processing independent and inter-linked documents in XML databases
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
A methodology and tool support for managing business rules in organisations
Information Systems
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Evolving databases: an application to electronic commerce
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Authentication hierarchy in distributed deductive databases
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Modeling datalog fact assertion and retraction in linear logic
Proceedings of the 14th symposium on Principles and practice of declarative programming
Mining attribute association in query predicates for access path generation
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Index selection: a query pattern mining based approach
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Hi-index | 0.02 |