Pages that link to "Item:Q1176285"
From MaRDI portal
The following pages link to Datalog extensions for database queries and updates (Q1176285):
Displaying 27 items.
- Database Theory, Yuri, and Me (Q3585996) (← links)
- Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
- Computing on structures (Q4630296) (← links)
- An analysis of the Core-ML language: Expressive power and type reconstruction (Q4632418) (← links)
- Expressiveness of efficient semi-deterministic choice constructs (Q4632419) (← links)
- Tailoring recursion for complexity (Q4632420) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Complete problems for fixed-point logics (Q4842629) (← links)
- Tailoring recursion for complexity (Q4858828) (← links)
- The expressive power of fixed-point logic with counting (Q4879905) (← links)
- How an agent might think (Q4925183) (← links)
- A computational model for generic graph functions (Q5096281) (← links)
- About boundedness for some datalog and DATALOGneg programs (Q5096840) (← links)
- Modern Datalog Engines (Q5101659) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
- The Expressive Power of Higher-Order Datalog (Q5108510) (← links)
- Infinitary logic for computer science (Q5204339) (← links)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578) (← links)
- Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120) (← links)
- Addendum to ``Choiceless polynomial time'' (Q5945399) (← links)
- Metafinite model theory (Q6064289) (← links)
- A query language for NC (extended abstract) (Q6064297) (← links)
- Semiring reasoning frameworks in AI and their computational complexity (Q6488781) (← links)
- First order logic, fixed point logic and linear order (Q6560167) (← links)
- The expressive power of ``possible-is-certain'' semantics (extended abstract) (Q6560352) (← links)
- The expressive power of revised Datalog on problems with closure properties (Q6562535) (← links)
- Update programs versus revision programs (Q6623798) (← links)
