Ordering conjunctive queries
From MaRDI portal
Publication:1060862
DOI10.1016/0004-3702(85)90028-1zbMATH Open0569.68077OpenAlexW2091327243MaRDI QIDQ1060862FDOQ1060862
Authors: David E. Smith, Michael Genesereth
Publication date: 1985
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(85)90028-1
Recommendations
- Dynamic conjunctive queries
- scientific article; zbMATH DE number 1953136
- Query Order
- Quantified conjunctive queries on partially ordered sets
- Quantified conjunctive queries on partially ordered sets
- Conjunctive query containment revisited
- scientific article; zbMATH DE number 1091107
- scientific article; zbMATH DE number 4039354
Cites Work
- Title not available (Why is that?)
- A logic for default reasoning
- Title not available (Why is that?)
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Controlling backward inference
- Optimal problem-solving search: All-or-none solutions
Cited In (18)
- Acquiring search-control knowledge via static analysis
- Compiling a default reasoning system into Prolog
- Ordered structures for parallel rule-based computations
- The optimum execution order of queries in linear storage
- Data analysis using a geometrical representation of predicate calculus
- Controlling backward inference
- Finding optimal derivation strategies in redundant knowledge bases
- Bounding the cost of learned rules
- Agenda control for heterogeneous reasoners
- Cofinality relation, pre-orders and orders, semantics of ORDER BY clause of querics in SQL-like language
- Title not available (Why is that?)
- A circumscriptive theorem prover
- Investigating production system representations for non-combinatorial match
- A methodology for detecting shared variable dependencies in logic programs
- Approximating the chromatic polynomial of a graph
- Query Order
- Optimization of a subclass of conjunctive queries
- Cathoristic logic. A logic for capturing inferences between atomic sentences
This page was built for publication: Ordering conjunctive queries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1060862)