Fundamental properties of deterministic and nondeterministic extensions of Datalog

DOI10.1016/0304-3975(51)90006-0MaRDI QIDQ756410zbMATH OpenOpenAlexFDO

Authors Serge Abiteboul, Eric Simon

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)90006-0

zbMATH Keywords

Datalogquery language

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Datalog extensions for database queries and updates
• Deterministic and non-deterministic stable models
• Datalog with non-deterministic choice computes NDB-PTIME
• Complexity and expressive power of deterministic semantics for DATALOG^ .
• A nondeterministic well-founded semantics

Cites work

• scientific article; zbMATH DE number 4180775 (Why is no real title available?)
• scientific article; zbMATH DE number 4064544 (Why is no real title available?)
• scientific article; zbMATH DE number 1142327 (Why is no real title available?)
• Computable queries for relational data bases
• Why not negation by fixpoint?

Cited in

(8)

• Temporal connectives versus explicit timestamps to query temporal databases
• Non-determinism in logic-based languages
• Positive Dedalus programs tolerate non-causality
• scientific article; zbMATH DE number 4180775 (Why is no real title available?)
• Datalog extensions for database queries and updates
• Games and total Datalog\(^{\lnot}\) queries
• A value-propagating transformation technique for Datalog programs based on non-deterministic constructs
• A semantics for a class of non-deterministic and causal production system programs

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Fundamental properties of deterministic and nondeterministic extensions of Datalog

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