Negation in rule-based database languages: A survey

DOI10.1016/0304-3975(51)90003-5zbMATH Open0716.68025OpenAlexW2091849010MaRDI QIDQ753476FDOQ753476

Authors: Nicole Bidoit 

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(51)90003-5

Recommendations

• Rule-based languages
• Publication:5750391
• scientific article
• scientific article
• Negation and minimality in disjunctive databases

zbMATH Keywords

logic programs with negationrule-based query languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Database theory (68P15) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computable queries for relational data bases
• A lattice-theoretical fixpoint theorem and its applications
• Title not available (Why is that?)
• A relational model of data for large shared data banks
• Datalog extensions for database queries and updates
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• Autoepistemic logic
• A Computing Procedure for Quantification Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for default reasoning
• Non-monotonic logic. I
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Semantical considerations on nonmonotonic logic
• Circumscription - a form of non-monotonic reasoning
• A kripke-kleene semantics for logic programs*
• Negation in rule-based database languages: A survey
• Minimalism, justification and non-monotonicity in deductive databases
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Relational queries computable in polynomial time
• Negation in logic programming
• Contributions to the Theory of Logic Programming
• Extended algebra and calculus for nested relational databases
• On the relation between default and autoepistemic logic
• Title not available (Why is that?)
• Horn clause queries and generalizations
• Structure and complexity of relational queries
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non first normal form relations: An algebra allowing data restructuring
• Optimal fixedpoints of logic programs
• General logical databases and programs: Default logic semantics and stratification
• Why not negation by fixpoint?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A procedural semantics for well-founded negation in logic programs
• Negation by default and unstratifiable logic programs
• Closures and fairness in the semantics of programming logic
• The expressive power of stratified logic programs
• Logic programming with sets
• A basis for deductive database systems
• Monotone versus positive
• Title not available (Why is that?)
• Closed-world databases and circumscription
• Title not available (Why is that?)
• A basis for deductive database systems II
• Negation as inconsistency. I

Cited In (18)

• Revision by communication
• Recovery of (non)monotonic theories
• Answer Set Programming: A Primer
• Boolean lattices of nested relations as a foundation for rule-based database languages
• Expressive power and complexity of partial models for disjunctive deductive databases
• The expressive powers of stable models for bound and unbound DATALOG queries
• A temporal programming model with atomic blocks based on projection temporal logic
• An extended constraint deductive database: theory and implementation
• Operational semantics of Framed Tempura
• Update rules in Datalog programs
• A mechanism of function calls in MSVL
• Negation in rule-based database languages: A survey
• CWA formalizations in multi-valued logics
• IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
• Is there an axiomatic semantics for standard pure Prolog?
• Foundations of Rule-Based Query Answering
• Tie-breaking semantics and structural totality
• Revising and updating using a back-up semantics

This page was built for publication: Negation in rule-based database languages: A survey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q753476)