Relational queries computable in polynomial time
Information and Control
The logical data model: a new approach to database logic
The logical data model: a new approach to database logic
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Untyped sets, invention, and computable queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A model of queries for object-oriented databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
Generic Computation and its complexity
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
The expressive power structured values in pure OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the equivalence of database restructurings involving object identifiers (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Procedural languages for database queries and updates
Journal of Computer and System Sciences
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Non-deterministic languages to express deterministic transformations
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A graph-oriented object database model
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Language for Generic Graph-Transformations
WG '91 Proceedings of the 17th International Workshop
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Logical Foundations of Object-Oriented and Frame-Based Languages
Logical Foundations of Object-Oriented and Frame-Based Languages
Database method schemas and object creation
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object identity as a query language primitive
Journal of the ACM (JACM)
A Fixed-Point Query Language for XML
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Towards a logic for abstract metafinite state machines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A customised ASM thesis for database transformations
Acta Cybernetica
A proof system with bounded non-determinism in database transformations
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Hi-index | 0.00 |
We investigate under which conditions a non-deterministic query is semi-deterministic, meaning that two different results of the query to a database are isomorphic. We also consider uniform semi-determinism, meaning that all intermediate results of the computation are isomorphic. Semi-determinism is a concept bridging the new trends of non-determinism and object generation in database query languages. Our results concern decidability, both at compile time and at run time; expressibility of the infamous counting queries; and completeness, which is related to the issue of copy elimination raised by Abiteboul and Kannelakis.