A semideterministic approach to object creation and nondeterminism in database queries

DOI10.1006/jcss.1997.1450zbMath0864.68027OpenAlexW2090356471MaRDI QIDQ676418

Dirk Van Gucht, Jan Van den Bussche

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)

Cites Work

• A logic for programming with complex objects
• Procedural languages for database queries and updates
• On instance-completeness for database query languages involving object creation.
• Computable queries for relational data bases
• Datalog extensions for database queries and updates
• Infinitary logics and 0-1 laws
• Riemann's hypothesis and tests for primality
• The expressive power of complex values in object-based data models
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
• Expressiveness of efficient semi-deterministic choice constructs
• Unnamed Item
• Unnamed Item