• DIASPORA

  • Referenced in 14 articles [sw02659]
  • context including determining query completion, handling query rewriting, supporting query termination and preventing multiple computations...
  • Ontop

  • Referenced in 15 articles [sw22931]
  • Ontop technologies—the tree-witness query rewriting, -mappings compiling R2RML mappings with ontology hierarchies ... integrity constraints—the system produces scalable SQL queries...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • task of persistent data storage and querying. Graph rewriting is the high-level...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • strategies can be computed in polynomial time, queries in the positive fragment of the probabilistic ... with experiments and show that rewriting certain types of queries to other equivalent forms often...
  • CARIBOO

  • Referenced in 14 articles [sw10064]
  • where a program is a rewrite system and query evaluation consists in rewriting a ground...
  • TIMBER

  • Referenced in 20 articles [sw02327]
  • standard components of relational query processing, including algebraic rewriting and a cost-based optimizer...
  • Graal

  • Referenced in 3 articles [sw27338]
  • kinds of data, forward chaining and query rewriting algorithms, structural analysis of decidability properties ... describe in more detail the query rewriting algorithms, which rely on original techniques, and report...
  • HoTTSQL

  • Referenced in 2 articles [sw27484]
  • HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics. Every database system contains a query optimizer ... that performs query rewrites. Unfortunately, developing query optimizers remains a highly challenging task. Part ... rich features of query languages, which makes reasoning about rewrite rules difficult. In this paper ... research literature (e.g., magic set rewrites) and real-world query optimizers (e.g., subquery elimination). Several...
  • iZi

  • Referenced in 2 articles [sw10113]
  • constraint mining in relational databases and query rewriting in data integration systems. According...
  • SQLCert

  • Referenced in 1 article [sw28676]
  • chosen corresponding algebra used to compile queries. We propose SQLCert, a Coq mechanisation of three ... compilers’ logical optimisation is based on algebraic rewritings, we also define ExtAlg a Coq-mechanised ... commonly used in practice (SQL’s queries) rewritings, yielding strong guarantees for the optimiser. Doing...
  • PMaude

  • Referenced in 30 articles [sw08422]
  • Probabilistic Object Systems. We introduce a rewrite-based specification language for modelling probabilistic concurrent ... also discuss. Specifically, we introduce a query language called Quantitative Temporal Expressions (or QuaTEx...
  • Hammer

  • Referenced in 1 article [sw27958]
  • databases. Consequently, the query engine is responsible for rewriting and adapting the blind query ... various implementations of the query engine, either obtained without significantly rewriting the algorithm or obtained...
  • iJulienne

  • Referenced in 6 articles [sw09903]
  • present iJulienne, a trace analyzer for conditional rewriting logic theories that can be used ... iJulienne is also endowed with a trace querying mechanism that increases flexibility and reduction power...
  • Hornlog

  • Referenced in 6 articles [sw21362]
  • logic- programming interpreters based on graph rewriting and on a linear-time algorithm for showing ... used as assertions and also queries consisting of disjunctions of negations of Horn clauses...
  • XPTO

  • Referenced in 2 articles [sw15781]
  • well-known feature of XML query languages, that allow selection of element nodes without exhaustively ... features and adapted to construct an effective rewrite system for specialization and optimization of XPath ... generation of Haskell programs containing optimized queries as Haskell functions. The front-end itself...
  • PSOA2TPTP

  • Referenced in 1 article [sw07648]
  • using the open-source VampirePrime reasoner, enabling query answering and entailment as well as consistency ... grammars we developed. We discuss how to rewrite the original PSOA/PS grammar into ... translation phase. We wrap the translation and querying code into RESTful Web services for convenient...
  • JChemPaint

  • Referenced in 2 articles [sw26087]
  • wants to submit a structure query to a database, prepare a starting structure for molecular ... given structure would not have to rewrite this standard piece of software again and again...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...