The following pages link to (Q4864249):
Displaying 50 items.
- Graph-theoretic formalization of hybridization in DNA sticker complexes (Q256713) (← links)
- Reactive computing as model generation (Q264957) (← links)
- On the data complexity of consistent query answering (Q269317) (← links)
- Highly expressive query languages for unordered data trees (Q269323) (← links)
- Deciding confluence for a simple class of relational transducer networks (Q269334) (← links)
- Structural tractability of counting of solutions to conjunctive queries (Q269342) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Maintaining transitive closure in first order after node-set and edge-set deletions (Q287062) (← links)
- Implication and axiomatization of functional and constant constraints (Q287754) (← links)
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- Embedding relational databases in object ontologies: implementation issues (Q307752) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Converging to the chase -- a tool for finite controllability (Q314825) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- Extending inclusion dependencies with conditions (Q386615) (← links)
- On simplification of schema mappings (Q389226) (← links)
- A dichotomy in the complexity of counting database repairs (Q389240) (← links)
- Model-checking games for logics of imperfect information (Q391101) (← links)
- A theoretical framework for knowledge-based entity resolution (Q402127) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- An inductive database system based on virtual mining views (Q408697) (← links)
- View-based query answering in description logics: semantics and complexity (Q414845) (← links)
- Repairing XML functional dependency violations (Q424778) (← links)
- Appropriate inferences of data dependencies in relational databases (Q429431) (← links)
- Information-based distance measures and the canonical reflection of view updates (Q429442) (← links)
- Characterisations of multivalued dependency implication over undetermined universes (Q439967) (← links)
- Prioritized repairing and consistent query answering in relational databases (Q454141) (← links)
- Probabilistic query answering over inconsistent databases (Q454142) (← links)
- Maintaining distributed logic programs incrementally (Q456472) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Restricted default theories: expressive power and outlier detection tasks (Q483301) (← links)
- Inexact and exact quantum searches with a preparation state in a three-dimensional subspace (Q488196) (← links)
- The complexity of higher-order queries (Q498405) (← links)
- RQL: a query language for rule discovery in databases (Q507529) (← links)
- ERBlox: combining matching dependencies with machine learning for entity resolution (Q518610) (← links)
- First-order under-approximations of consistent query answers (Q518631) (← links)
- Relative expressive power of navigational querying on graphs (Q528686) (← links)
- Queries and materialized views on probabilistic databases (Q532366) (← links)
- Relational completeness of query languages for annotated databases (Q532367) (← links)
- Foundations of semantic web databases (Q532369) (← links)
- On the finite controllability of conjunctive query answering in databases under open-world assumption (Q532372) (← links)
- Decidable containment of recursive queries (Q555766) (← links)
- XML queries and constraints, containment and reformulation (Q555769) (← links)
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- Query languages for data exchange: beyond unions of conjunctive queries (Q639842) (← links)
- Querying data sources that export infinite sets of views (Q639847) (← links)
- Reconcilable differences (Q639856) (← links)
- On rules with existential variables: walking the decidability line (Q646515) (← links)
