Procedural languages for database queries and updates

DOI10.1016/0022-0000(90)90036-KzbMATH Open0715.68019MaRDI QIDQ751799FDOQ751799

Authors: Serge Abiteboul, Victor Vianu 

Publication date: 1990

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Recommendations

• On the completeness of object-creating database transformation languages
• Polynomial queries to relational data bases
• scientific article; zbMATH DE number 871233
• Datalog extensions for database queries and updates
• A proof system with bounded non-determinism in database transformations

zbMATH Keywords

query languagesRelational databaseprocedural languagesquery completeness

Mathematics Subject Classification ID

Theory of programming languages (68N15) Database theory (68P15)

Cites Work

• Computable queries for relational data bases
• Relationships between nondeterministic and deterministic tape complexities
• Title not available (Why is that?)
• Datalog extensions for database queries and updates
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational queries computable in polynomial time
• On the expressive power of the relational algebra
• Title not available (Why is that?)
• The Format Model
• Title not available (Why is that?)

Cited In (24)

• Algebraic and calculus query languages for recursively typed complex objects
• A first step towards implementing dynamic algebraic dependences
• Fixed-point definability and polynomial time on chordal graphs and line graphs
• Semantics and expressive power of nondeterministic constructs in deductive databases
• Non-determinism in logic-based languages
• Abstract state machines and computationally complete query languages
• On the decidability of the termination problem of active database systems
• Complete geometric query languages
• Semantics and expressiveness issues in active databases
• Verifiable properties of database transactions
• The expressive powers of stable models for bound and unbound DATALOG queries
• Datalog extensions for database queries and updates
• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• The algebraic structure of a semigroup of sets of transformations with restricted range
• Extended nested relations
• Title not available (Why is that?)
• XML database transformations
• Title not available (Why is that?)
• A semantics for a class of non-deterministic and causal production system programs
• Computing on structures
• The expressive power of stratified logic programs with value invention
• 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

This page was built for publication: Procedural languages for database queries and updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q751799)