A semideterministic approach to object creation and nondeterminism in database queries

DOI10.1006/JCSS.1997.1450MaRDI QIDQ676418zbMATH OpenOpenAlexFDO

Authors Jan Van den Bussche, D. Van Gucht

Publication date 18 March 1997

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

Full work available at URL https://repository.uantwerpen.be/docman/irua/84e43b/5142.pdf

zbMATH Keywords

semideterminism

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Expressiveness of efficient semi-deterministic choice constructs
• Datalog extensions for database queries and updates
• On the completeness of object-creating database transformation languages
• Complexity and expressive power of deterministic semantics for DATALOG^ .

Cites work

• scientific article; zbMATH DE number 1256674 (Why is no real title available?)
• scientific article; zbMATH DE number 515737 (Why is no real title available?)
• A logic for programming with complex objects
• Computable queries for relational data bases
• Datalog extensions for database queries and updates
• Expressiveness of efficient semi-deterministic choice constructs
• Infinitary logics and 0-1 laws
• On instance-completeness for database query languages involving object creation.
• Procedural languages for database queries and updates
• Riemann's hypothesis and tests for primality
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• The expressive power of complex values in object-based data models

Cited in

(1)

• On instance-completeness for database query languages involving object creation.

This page was built for publication: A semideterministic approach to object creation and nondeterminism in database queries

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