The following pages link to (Q4864249):
Displayed 50 items.
- Games and total Datalog\(^{\lnot}\) queries (Q1575136) (← links)
- Local properties of query languages (Q1575140) (← links)
- Path constraints in semistructured databases (Q1591150) (← links)
- Relational transducers for electronic commerce (Q1591155) (← links)
- Querying spatial databases via topological invariants (Q1591156) (← links)
- Conjunctive-query containment and constraint satisfaction (Q1591157) (← links)
- Rewriting queries using views over monadic database schemas (Q1603453) (← links)
- Correspondence and translation for heterogeneous data (Q1606125) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Query automata over finite trees (Q1607226) (← links)
- The expressiveness of DAC (Q1608890) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Containment of queries for graphs with data (Q1678169) (← links)
- Logic-based argumentation with existential rules (Q1678415) (← links)
- Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints (Q1678427) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Certifying standard and stratified Datalog inference engines in SSReflect (Q1687733) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Logical foundations of information disclosure in ontology-based data integration (Q1711879) (← links)
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results (Q1744448) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Matching dependencies: semantics and query answering (Q1762196) (← links)
- A complete axiomatization of fuzzy functional dependencies using fuzzy function (Q1770793) (← links)
- Minimal-change integrity maintenance using tuple deletions (Q1776402) (← links)
- On the complexity of deciding typability in the relational algebra (Q1777227) (← links)
- Active integrity constraints for general-purpose knowledge bases (Q1783734) (← links)
- A technique for proving decidability of containment and equivalence of linear constraint queries (Q1807671) (← links)
- On the complexity of data disjunctions. (Q1853503) (← links)
- Adding for-loops to first-order logic (Q1854443) (← links)
- Abstract state machines and computationally complete query languages (Q1854519) (← links)
- Functional queries in datalog (Q1862647) (← links)
- On the decidability of the termination problem of active database systems (Q1884939) (← links)
- Ontology-based semantic search on the web and its combination with the power of inductive reasoning (Q1928818) (← links)
- From orthogonal projections to a generalized quantum search (Q1937233) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Functional dependency restricted insertion propagation (Q1986557) (← links)
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Consistent query answering for primary keys in Datalog (Q2035471) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- On the complexity and approximability of repair position selection problem (Q2051902) (← links)
- Situation calculus for controller synthesis in manufacturing systems with first-order state representation (Q2060723) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- Expressive power and succinctness of the positive calculus of binary relations (Q2141281) (← links)
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\) (Q2144172) (← links)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Inference-proof updating of a weakened view under the modification of input parameters (Q2167727) (← links)
- Counting subset repairs with functional dependencies (Q2221807) (← links)
- Open-world probabilistic databases: semantics, algorithms, complexity (Q2238646) (← links)