A semideterministic approach to object creation and nondeterminism in database queries

DOI10.1006/JCSS.1997.1450zbMATH Open0864.68027OpenAlexW2090356471MaRDI QIDQ676418FDOQ676418

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

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\(^ \neg\).

zbMATH Keywords

semideterminism

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

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

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)