Role of determinism in query languages for data bases

DOI10.1007/BF00970872zbMath0659.68124MaRDI QIDQ1112628

S. S. Magazov

Publication date: 1987

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

deterministic regular logicdynamic logicsclass of finite structurespredicate logic as query language for data basesregular logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)

Cites Work

• The comparison of the expressive power of first-order dynamic logics
• Expressing program looping in regular dynamic logic
• Structure and complexity of relational queries
• Unnamed Item

This page was built for publication: Role of determinism in query languages for data bases