Datalog extensions for database queries and updates
From MaRDI portal
Recommendations
Cites work
- A relational model of data for large shared data banks
- Computable queries for relational data bases
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- Horn clause queries and generalizations
- scientific article; zbMATH DE number 4180775 (Why is no real title available?)
- scientific article; zbMATH DE number 4199654 (Why is no real title available?)
- scientific article; zbMATH DE number 4147465 (Why is no real title available?)
- scientific article; zbMATH DE number 4162254 (Why is no real title available?)
- scientific article; zbMATH DE number 4022671 (Why is no real title available?)
- scientific article; zbMATH DE number 4035805 (Why is no real title available?)
- scientific article; zbMATH DE number 1142320 (Why is no real title available?)
- scientific article; zbMATH DE number 1142327 (Why is no real title available?)
- Inductive definitions over finite structures
- Languages that Capture Complexity Classes
- Monadic generalized spectra
- On folk theorems
- Procedural languages for database queries and updates
- Relational queries computable in polynomial time
- Relationships between nondeterministic and deterministic tape complexities
- Relative Information Capacity of Simple Relational Database Schemata
- Structure and complexity of relational queries
- The expressive power of stratified logic programs
- Why not negation by fixpoint?
Cited in
(92)- Role of determinism in query languages for data bases
- Circumscribing DATALOG: expressive power and complexity
- A restricted second order logic for finite structures
- Semantics and expressiveness issues in active databases
- The expressive power of stratified logic programs with value invention
- Verifiable properties of database transactions
- Querying datalog programs with temporal logic
- A semantics for a class of non-deterministic and causal production system programs
- Non-determinism in logic-based languages
- Non-determinism in databases
- How to define a linear order on finite models
- Finitely representable databases
- A query language for NC
- The complexity of the evaluation of complex algebra expressions
- Revision programming
- The Kolmogorov expressive power of Boolean query languages
- Games and total Datalog\(^{\lnot}\) queries
- Program schemes, arrays, Lindström quantifiers and zero-one laws
- The expressiveness of DAC
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
- Datalog: A self-contained tutorial. II
- Equivalence and normal forms for the restricted and bounded fixpoint in the nested algebra
- Adding for-loops to first-order logic
- Abstract state machines and computationally complete query languages
- Functional queries in datalog
- On datalog vs polynomial time
- Modeling data-intensive reactive systems with relational transition systems
- Nonrecursive incremental evaluation of Datalog queries
- Some thoughts on computational models: from massive human computing to abstract state machines, and beyond
- Computation on structures. Behavioural theory, logic, complexity
- Normalization of class hierarchy in databases
- Positive Dedalus programs tolerate non-causality
- External sources of knowledge and value invention in logic programming
- Arity hierarchies
- Highly expressive query languages for unordered data trees
- Datalog and recursive query processing
- What is an algorithm?
- Recent advances in Datalog^
- Datafun: a functional Datalog
- Extending Datalog with arrays
- scientific article; zbMATH DE number 4180775 (Why is no real title available?)
- \(\mathrm{SO}^F\): a semantic restriction over second-order logic and its polynomial-time hierarchy
- Semantic restrictions over second-order logic
- Database Theory, Yuri, and Me
- scientific article; zbMATH DE number 4064536 (Why is no real title available?)
- Updating intensional predicates in Datalog
- Datalog with non-deterministic choice computes NDB-PTIME
- Knowledge compilation of logic programs using approximation fixpoint theory
- Computing on structures
- An analysis of the Core-ML language: Expressive power and type reconstruction
- Expressiveness of efficient semi-deterministic choice constructs
- Tailoring recursion for complexity
- Datalog and Its Extensions for Semantic Web Databases
- Complete problems for fixed-point logics
- Tailoring recursion for complexity
- The expressive power of fixed-point logic with counting
- How an agent might think
- A computational model for generic graph functions
- About boundedness for some DATALOG and DATALOG\textsuperscript{neg} programs
- Update rules in Datalog programs
- Modern Datalog Engines
- Iterating on multiple collections in synchrony
- The expressive power of higher-order Datalog
- Infinitary logic for computer science
- Datalog queries distributing over components
- A declarative extension of horn clauses, and its significance for Datalog and its applications
- The semantics of Datalog for the evidential tool bus (extended abstract)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic
- scientific article; zbMATH DE number 2218053 (Why is no real title available?)
- Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)
- Semantics and expressive power of nondeterministic constructs in deductive databases
- Addendum to ``Choiceless polynomial time
- Metafinite model theory
- A restricted second order logic for finite structures
- A query language for NC (extended abstract)
- Semiring reasoning frameworks in AI and their computational complexity
- 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
- Update programs versus revision programs
- Computing with infinitary logic
- A semideterministic approach to object creation and nondeterminism in database queries
- Tie-breaking semantics and structural totality
- Algebraic and calculus query languages for recursively typed complex objects
- Probability logic and statistical relational artificial intelligence
- Procedural languages for database queries and updates
- Negation in rule-based database languages: A survey
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- Grounded fixpoints and their applications in knowledge representation
- Hypothetical datalog: Complexity and expressibility
- On the expressive power of Datalog: tools and a case study.
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)
