Semantics and expressive power of nondeterministic constructs in deductive databases

DOI10.1006/JCSS.1999.1699zbMATH Open0990.68065OpenAlexW1995532290MaRDI QIDQ5943120

Carlo Zaniolo, F. Giannotti, Dino Pedreschi

Publication date: 26 August 2002

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.1999.1699

zbMATH Keywords

Datalogfirst-order relational languages

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fixed-point extensions of first-order logic
• Languages that Capture Complexity Classes
• Relational queries computable in polynomial time
• Reasoning about termination of pure Prolog programs
• Horn clause queries and generalizations
• Structure and complexity of relational queries
• Procedural languages for database queries and updates
• The expressive power of stratified logic programs
• Programming with non-determinism in deductive databases
• Non-determinism in logic-based languages
• ``Possible is certain is desirable and can be expressive
• Datalog with non-deterministic choice computes NDB-PTIME

Cited In (4)

• Title not available (Why is that?)
• Deductive databases for computing certain and consistent answers from mediated data integration systems
• The Choice Construct in the Soufflé Language
• Minimalism, justification and non-monotonicity in deductive databases

This page was built for publication: Semantics and expressive power of nondeterministic constructs in deductive databases

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