scientific article; zbMATH DE number 3874667
From MaRDI portal
Publication:3340205
zbMATH Open0548.68098MaRDI QIDQ3340205FDOQ3340205
Authors: H. Gallaire, Jack Minker, Jean-Marie Nicolas 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
relational databasesdata dependenciesquery languagesquery optimizationdeductive databaseslogic and databases
Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65)
Cited In (67)
- Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete
- Multi-layer logic - a predicate logic including data structure as knowledge representation language
- A deductive database approach for complex objects
- Partial evaluation of queries in deductive databases
- A basis for deductive database systems II
- Semantics and expressive power of nondeterministic constructs in deductive databases
- Conceptual schemas applied to deductive databases
- Domain-independent formulas and databases
- Answering atomic queries in indefinite deductive databases
- A deductive database on Aristotelian logic
- A time bound on the materialization of some recursively defined views
- Type data bases with incomplete information
- A formalization of the Codd algebra operations in logic \(\mathcal{SHOIN}(D)\)
- Title not available (Why is that?)
- Embedding deductive capabilities in relational database systems
- Data summarization in relational databases through fuzzy dependencies
- A note on fixpoint techniques in data base recursive logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitionistic interpretation of deductive databases with incomplete information
- Incomplete deductive databases
- On the complexity of the maximum satisfiability problem for Horn formulas
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- A relational algebra for functional logic deductive databases
- An algorithm to compute circumscription
- Active integrity constraints for general-purpose knowledge bases
- Inference flexibility in Horn clause knowledge bases and the simplex method
- Unique complements and decompositions of database schemata
- Jack Minker --- A profile
- Automated theorem proving in temporal logic: \(T\)-resolution
- Title not available (Why is that?)
- Fifty Years of Prolog and Beyond
- Recursive query processing: The power of logic
- Conceptual and ontological modeling in information systems
- Title not available (Why is that?)
- On first-order-logic databases
- Title not available (Why is that?)
- Negation in rule-based database languages: A survey
- A knowledge-based system for performance optimization of a relational database system
- Extended database logic: Complex objects and deduction
- Closed world assumptions having precedence in predicates
- Title not available (Why is that?)
- Characterization of desirable properties of general database decompositions.
- Translation of logic programs into functional fixpoint equations
- Title not available (Why is that?)
- Beyond graph neural networks with lifted relational neural networks
- Fixpoint strategies for deductive databases
- Information about a given entity: from semantics towards automated deduction
- An efficient database transitive closure algorithm
- Subsumption and implication
- Improved exact algorithms for MAX-SAT
- Algorithms for the maximum satisfiability problem
- Minimalism, justification and non-monotonicity in deductive databases
- Operation management in object-oriented knowledge bases
- A Logic of Type Relations and its Applications to Relational Databases
- DAL -- a logic for data analysis
- On homeostatic behavior of dynamic deductive data bases
- Title not available (Why is that?)
- Databases and artificial intelligence
- Recursive query processing in predicate-goal graph
- Title not available (Why is that?)
- Prolegomena to logic programming for non-monotonic reasoning
- A graph-based decomposition approach for recursive query processing
- Paraconsistent logic and query answering in inconsistent databases
- Reasoning formally about database queries and updates
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3340205)
