Procedural languages for database queries and updates
From MaRDI portal
Publication:751799
DOI10.1016/0022-0000(90)90036-KzbMath0715.68019MaRDI QIDQ751799
Publication date: 1990
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Related Items
Semantics and expressive power of nondeterministic constructs in deductive databases, The expressive power of cardinality-bounded set values in object-based data models, A semideterministic approach to object creation and nondeterminism in database queries, Knowledgebase transformations, Algebraic and calculus query languages for recursively typed complex objects, Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications, Datalog extensions for database queries and updates, Semantics and expressiveness issues in active databases, The expressive power of stratified logic programs with value invention, Verifiable properties of database transactions, Complete geometric query languages, Extended nested relations, A semantics for a class of non-deterministic and causal production system programs, Non-determinism in logic-based languages, The expressive powers of stable models for bound and unbound DATALOG queries, A first step towards implementing dynamic algebraic dependences, Abstract state machines and computationally complete query languages, On the decidability of the termination problem of active database systems, Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computable queries for relational data bases
- Datalog extensions for database queries and updates
- On the expressive power of the relational algebra
- Relationships between nondeterministic and deterministic tape complexities
- Relational queries computable in polynomial time
- The Format Model