The following pages link to (Q4864249):
Displaying 50 items.
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Certain answers as objects and knowledge (Q2634471) (← links)
- A representation independent language for planar spatial databases with Euclidean distance (Q2641864) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- Parameterized complexity of completeness reasoning for conjunctive queries (Q2661762) (← links)
- Descriptive complexity of deterministic polylogarithmic time and space (Q2662676) (← links)
- Complexity results on register context-free grammars and related formalisms (Q2672616) (← links)
- Checking causal consistency of distributed databases (Q2676222) (← links)
- Solving projected model counting by utilizing treewidth and its limits (Q2680775) (← links)
- SHACL: a description logic in disguise (Q2694553) (← links)
- A generalisation of entity and referential integrity in relational databases (Q2771491) (← links)
- On the complexity of query result diversification (Q2790132) (← links)
- Monitoring metric first-order temporal properties (Q2796403) (← links)
- On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases (Q2808079) (← links)
- On the Complexity of Insertion Propagation with Functional Dependency Constraints (Q2817905) (← links)
- Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints (Q2820687) (← links)
- Query answering with DBoxes is hard (Q2825409) (← links)
- A safe relational calculus for functional logic deductive databases (Q2844062) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- Strong simulation (Q2943564) (← links)
- Eliminating Recursion from Monadic Datalog Programs on Trees (Q2946356) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- Navigational and Rule-Based Languages for Graph Databases (Q2970302) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- Algebraic Databases (Q2981748) (← links)
- Characterization of Optimal Complements of Database Views Defined by Projection (Q3092323) (← links)
- Coding Theory Motivated by Relational Databases (Q3092324) (← links)
- Graph-Theoretic Formalization of Hybridization in DNA Sticker Complexes (Q3092332) (← links)
- Minimal and consistent evolution of knowledge bases (Q3128368) (← links)
- An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases (Q3192964) (← links)
- Some Remarks on Relational Database Schemes Having Few Minimal Keys (Q3223995) (← links)
- A More General Theory of Static Approximations for Conjunctive Queries (Q3305350) (← links)
- Answering UCQs under updates and in the presence of integrity constraints (Q3305351) (← links)
- On the Expressive Power of Query Languages for Matrices (Q3305355) (← links)
- Covers of Query Results (Q3305362) (← links)
- Distribution Policies for Datalog. (Q3305363) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Combining Consistency and Confidentiality Requirements in First-Order Databases (Q3399206) (← links)
- Containment of Monadic Datalog Programs via Bounded Clique-Width (Q3449494) (← links)
- On Enumerating Query Plans Using Analytic Tableau (Q3455780) (← links)
- Vertex Cover in Conflict Graphs: Complexity and a Near Optimal Approximation (Q3467859) (← links)
- SPT(q, k, n)-Codes (Q3503498) (← links)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- ONTOGRATE: TOWARDS AUTOMATIC INTEGRATION FOR RELATIONAL DATABASES AND THE SEMANTIC WEB THROUGH AN ONTOLOGY-BASED FRAMEWORK (Q3583068) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)
- Monadic Datalog Tree Transducers (Q3618586) (← links)
- Repetitions and permutations of columns in the semijoin algebra (Q3625687) (← links)
- Conceptual Modeling for Data Integration (Q3637334) (← links)
