Datalog extensions for database queries and updates
From MaRDI portal
Publication:1176285
DOI10.1016/0022-0000(91)90032-ZzbMATH Open0764.68158OpenAlexW2042690606MaRDI QIDQ1176285FDOQ1176285
Authors: Serge Abiteboul, Victor Vianu 
Publication date: 25 June 1992
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(91)90032-z
Recommendations
fixpoint semanticsdatalogdeterministic and non-deterministic extensionsnon-deterministic fixpoint extensions of first-order logic
Artificial intelligence (68T99) Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Computable queries for relational data bases
- Relationships between nondeterministic and deterministic tape complexities
- A relational model of data for large shared data banks
- Title not available (Why is that?)
- Languages that Capture Complexity Classes
- Title not available (Why is that?)
- Monadic generalized spectra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational queries computable in polynomial time
- Relative Information Capacity of Simple Relational Database Schemata
- Horn clause queries and generalizations
- On folk theorems
- Structure and complexity of relational queries
- Why not negation by fixpoint?
- Title not available (Why is that?)
- Procedural languages for database queries and updates
- The expressive power of stratified logic programs
- Inductive definitions over finite structures
- Title not available (Why is that?)
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- Title not available (Why is that?)
Cited In (86)
- Metafinite model theory
- First order logic, fixed point logic and linear order
- The expressive power of ``possible-is-certain semantics (extended abstract)
- The expressive power of revised Datalog on problems with closure properties
- Modern Datalog Engines
- Iterating on multiple collections in synchrony
- An analysis of the Core-ML language: Expressive power and type reconstruction
- Recent advances in Datalog\(^\pm \)
- A computational model for generic graph functions
- Database Theory, Yuri, and Me
- Extending Datalog with arrays
- Title not available (Why is that?)
- The semantics of Datalog for the evidential tool bus (extended abstract)
- About boundedness for some DATALOG and DATALOG\textsuperscript{neg} programs
- A restricted second order logic for finite structures
- Addendum to ``Choiceless polynomial time
- Update rules in Datalog programs
- Update programs versus revision programs
- \(\mathrm{SO}^F\): a semantic restriction over second-order logic and its polynomial-time hierarchy
- Semiring reasoning frameworks in AI and their computational complexity
- Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)
- Semantic restrictions over second-order logic
- Datalog and Its Extensions for Semantic Web Databases
- The Relational Polynomial-Time Hierarchy and Second-Order Logic
- Equivalence and normal forms for the restricted and bounded fixpoint in the nested algebra
- Algebraic and calculus query languages for recursively typed complex objects
- External sources of knowledge and value invention in logic programming
- Highly expressive query languages for unordered data trees
- The Kolmogorov expressive power of Boolean query languages
- The expressiveness of DAC
- A restricted second order logic for finite structures
- Adding for-loops to first-order logic
- Computation on structures. Behavioural theory, logic, complexity
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond
- Complete problems for fixed-point logics
- On the expressive power of Datalog: tools and a case study.
- Semantics and expressive power of nondeterministic constructs in deductive databases
- Role of determinism in query languages for data bases
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
- Non-determinism in logic-based languages
- Positive Dedalus programs tolerate non-causality
- Functional queries in datalog
- On datalog vs polynomial time
- Title not available (Why is that?)
- Abstract state machines and computationally complete query languages
- Updating intensional predicates in Datalog
- Semantics and expressiveness issues in active databases
- Verifiable properties of database transactions
- Infinitary logic for computer science
- Finitely representable databases
- How an agent might think
- Tailoring recursion for complexity
- Tailoring recursion for complexity
- Knowledge compilation of logic programs using approximation fixpoint theory
- Modeling data-intensive reactive systems with relational transition systems
- Expressiveness of efficient semi-deterministic choice constructs
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
- The expressive power of fixed-point logic with counting
- Normalization of class hierarchy in databases
- Games and total Datalog\(^{\lnot}\) queries
- Grounded fixpoints and their applications in knowledge representation
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- Datalog and recursive query processing
- Querying datalog programs with temporal logic
- Program schemes, arrays, Lindström quantifiers and zero-one laws
- A semantics for a class of non-deterministic and causal production system programs
- Revision programming
- Negation in rule-based database languages: A survey
- Datafun: a functional Datalog
- Hypothetical datalog: Complexity and expressibility
- Arity hierarchies
- Computing on structures
- How to define a linear order on finite models
- A declarative extension of horn clauses, and its significance for Datalog and its applications
- A query language for NC (extended abstract)
- Datalog queries distributing over components
- The expressive power of higher-order Datalog
- A query language for NC
- The complexity of the evaluation of complex algebra expressions
- What is an algorithm?
- The expressive power of stratified logic programs with value invention
- Title not available (Why is that?)
- Computing with infinitary logic
- A semideterministic approach to object creation and nondeterminism in database queries
- Tie-breaking semantics and structural totality
- Procedural languages for database queries and updates
Uses Software
This page was built for publication: Datalog extensions for database queries and updates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176285)
