A logical query language for hypermedia systems

DOI10.1016/0020-0255(94)90046-9zbMath0813.68087OpenAlexW2042317756MaRDI QIDQ1328531

Catriel Beeri, Yoram Kornatzky

Publication date: 26 July 1994

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(94)90046-9

zbMATH Keywords

declarative query languageobject- oriented data modelstructural queries hyperdocuments

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Theory of programming languages (68N15)

Related Items (3)

A probabilistic object-oriented database model with fuzzy probability measures and its algebraic operations ⋮ Partially ordered regular languages for graph queries ⋮ Weighted path queries on semistructured databases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decision procedures and expressiveness in the temporal logic of branching time
• A completeness theorem in modal logic
• Implementation of logical query languages for databases
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Generalized quantifiers and natural language

This page was built for publication: A logical query language for hypermedia systems