The choice of programming primitives for set-like programming languages
Proc. of the European symposium on programming on ESOP 86
Languages that capture complexity classes
SIAM Journal on Computing
Hereditarily-finite sets, data bases and polynomial-time computability
Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Query languages for hierarchic databases
Information and Computation
The expressiveness of a family of finite set languages
Theoretical Computer Science
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Evolving algebras 1993: Lipari guide
Specification and validation methods
&Dgr;-languages for sets and LOGSPACE computable graph transformers
NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science
Fixpoint logics, relational machines, and computational complexity
Journal of the ACM (JACM)
Linear ordering on graphs, anti-founded sets and polynomial time computability
Theoretical Computer Science
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Queries and Computation on the Web
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Capturing Bisimulation-Invariant Ptime
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Using Agents for Concurrent Querying of Web-Like Databases via a Hyper-Set-Theoretic Approach
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Bounded Hyperset Theory and Web-like Data Bases
KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
Bounded Set Theory and Polynominal Computability
FCT '87 Proceedings of the International Conference on Fundamentals of Computation Theory
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Relational queries computable in polynomial time (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Hyperset Approach to Semi-structured Databases
BNCOD 26 Proceedings of the 26th British National Conference on Databases: Dataspace: The Final Frontier
Hi-index | 0.00 |
Two versions of a set theoretic Δ-language are considered as theoretical prototypes for database query languages with “nested”, “unstructured” data where database states and queries are represented as hereditarily-finite (HF) sets and set theoretic operations, respectively. It is shown that these versions correspond exactly to (N/D)LOGSPACE computability over HF relative to a special graph representation (encoding) of HF-sets. Such languages over sets, capturing also PTIME, were introduced in previous works, however, descriptions of LOGSPACE over HF [34] were not completely satisfactory. Here we overcome the drawbacks of the previous approaches by some new partial result on definability of a linear ordering over finite extensional acyclic graphs and present a unified and simplified approach.