scientific article
From MaRDI portal
Publication:3340205
zbMath0548.68098MaRDI QIDQ3340205
H. Gallaire, Jack Minker, Jean-Marie Nicolas
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
query languagesrelational databasesdata dependenciesquery optimizationdeductive databaseslogic and databases
Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)
Related Items
An efficient database transitive closure algorithm, Improved exact algorithms for MAX-SAT, Intuitionistic interpretation of deductive databases with incomplete information, Domain-independent formulas and databases, Subsumption and implication, Multi-layer logic - a predicate logic including data structure as knowledge representation language, On the complexity of the maximum satisfiability problem for Horn formulas, Characterization of desirable properties of general database decompositions., Type data bases with incomplete information, Incomplete deductive databases, Heuristics for planning with penalties and rewards formulated in logic and computed through circuits, Partial evaluation of queries in deductive databases, An algorithm to compute circumscription, Minimalism, justification and non-monotonicity in deductive databases, A deductive database on Aristotelian logic, Answering atomic queries in indefinite deductive databases, Jack Minker --- A profile, Recursive query processing in predicate-goal graph, Fifty Years of Prolog and Beyond, Paraconsistent logic and query answering in inconsistent databases, A graph-based decomposition approach for recursive query processing, Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete, A note on fixpoint techniques in data base recursive logic programs, Extended database logic: Complex objects and deduction, A knowledge-based system for performance optimization of a relational database system, Closed world assumptions having precedence in predicates, Data summarization in relational databases through fuzzy dependencies, Operation management in object-oriented knowledge bases, Semantics and expressive power of nondeterministic constructs in deductive databases, A time bound on the materialization of some recursively defined views, A deductive database approach for complex objects, Active integrity constraints for general-purpose knowledge bases, Recursive query processing: The power of logic, Negation in rule-based database languages: A survey, Algorithms for the maximum satisfiability problem, Translation of logic programs into functional fixpoint equations, Fixpoint strategies for deductive databases, Beyond graph neural networks with lifted relational neural networks, Conceptual and ontological modeling in information systems, Unique complements and decompositions of database schemata, Inference flexibility in Horn clause knowledge bases and the simplex method, Automated theorem proving in temporal logic: \(T\)-resolution
Uses Software
