"chapter" .
"scans" .
"operation" .
"processing strategies" .
"results" .
"low-level evaluation strategies" .
"Department of Computer Science, University of Waterloo, UK" .
_:N5bb749a2fcde474d9c3d3e15aead5c97 .
_:N64424aba00e446719f968d5de81cff76 .
"subset of operations" .
_:N03a16020d429400bb421b9880c6cede8 .
_:N5bb749a2fcde474d9c3d3e15aead5c97 "Deductive and Object-Oriented Databases" .
"access plan results" .
"operators" .
"formal semantics" .
"expression" .
.
_:Ne97b89b6e68940d2bf57fca610366740 "Springer Nature - SN SciGraph project" .
"sense" .
"unambiguous access plan results" .
"en" .
"rule-based query optimizer" .
.
_:N1ae58efc8e32416e8eae3a8daff4d984 .
.
"evaluation strategies" .
"Coburn" .
_:N64424aba00e446719f968d5de81cff76 .
"properties" .
_:N1ae58efc8e32416e8eae3a8daff4d984 "doi" .
_:Nc6b179d2542d4302adb40d88269447f7 .
"non-procedural query languages" .
"level queries" .
_:N39cbeefc75444abdb88bb102c3ff3dd7 .
.
"1993-01-01" .
_:N5bb749a2fcde474d9c3d3e15aead5c97 "978-3-540-48212-3" .
_:Ne97b89b6e68940d2bf57fca610366740 .
"120-145" .
.
"Neil" .
_:Nc6b179d2542d4302adb40d88269447f7 .
"plan results" .
"correctness" .
"rule-based query optimization" .
"queries" .
_:Ncb1e104f667a427aa0f4c1d52f7d5a8a _:N8108b611dad74e0bafc8bcd5de410314 .
"refinement calculus" .
_:Ne97b89b6e68940d2bf57fca610366740 .
"subset" .
_:N5849b7c736cc4d5eb9f78025bedc9e34 _:N5015002a225f47cabf0c2a0f79411205 .
"paradigm" .
"join processing strategy" .
"query language" .
.
"access plan" .
.
.
_:Ncb1e104f667a427aa0f4c1d52f7d5a8a .
"Weddell" .
"semantics" .
.
"rules" .
.
"algebra" .
_:N39cbeefc75444abdb88bb102c3ff3dd7 "pub.1052689766" .
"reasons" .
"cut" .
.
"1993" .
"optimization" .
"strategies" .
_:Ne82576b152904abcb0cf6122adfec370 "Tsur" .
.
"2022-01-01T19:17" .
"process" .
"query optimizer" .
"nested-iteration join processing strategy" .
"Prolog" .
"We present a wide-spectrum algebra and refinement calculus designed to allow one to reason about query optimization in graph-based data models.A query language is wide-spectrum if it can be used to express both user level queries as well as low-level evaluation strategies or access plans. This property enables rule-based query optimization to be viewed as the process of refining expressions in such a language: \u201Cnon-procedural\u201D sub-expressions are gradually replaced by more \u201Cprocedural\u201D sub-expressions until an unambiguous access plan results. We begin by presenting an algebra that is wide-spectrum in this sense. One subset of operations within the algebra can be used to define the formal semantics of a non-procedural query language for graph-based data models. Another subset can express common data access paradigms such as an index scan, the \u201Ccut\u201D operator in Prolog or the nested-iteration join processing strategy.We then present a refinement calculus over the algebra which defines when one algebraic expression subsumes another. The calculus makes it possible to formally prove the correctness of rewrite rules used in rule-based query optimizers, and is sufficiently expressive to admit rules encoding many forms of semantic query optimization." .
_:N5bb749a2fcde474d9c3d3e15aead5c97 "978-3-540-57530-6" .
"https://scigraph.springernature.com/explorer/license/" .
_:N64424aba00e446719f968d5de81cff76 _:Nc6b179d2542d4302adb40d88269447f7 .
_:N8108b611dad74e0bafc8bcd5de410314 .
_:N03a16020d429400bb421b9880c6cede8 "Katsumi" .
"query optimization" .
"calculus" .
"refining expressions" .
"index scan" .
"logic" .
"wide-spectrum algebra" .
"Information Systems" .
_:Ncb1e104f667a427aa0f4c1d52f7d5a8a _:N5849b7c736cc4d5eb9f78025bedc9e34 .
"form" .
"graph-based data model" .
"access paradigm" .
_:N98862b9dc97c42c8b45a03d0d377c31e .
_:N03a16020d429400bb421b9880c6cede8 "Tanaka" .
_:N5bb749a2fcde474d9c3d3e15aead5c97 .
_:Ne82576b152904abcb0cf6122adfec370 "Shalom" .
"language" .
_:N39cbeefc75444abdb88bb102c3ff3dd7 "dimensions_id" .
"rewrite rules" .
"common data access paradigms" .
_:N8108b611dad74e0bafc8bcd5de410314 "Stefano" .
"algebraic expressions" .
_:N39cbeefc75444abdb88bb102c3ff3dd7 .
"Grant E." .
_:N5015002a225f47cabf0c2a0f79411205 _:Ne82576b152904abcb0cf6122adfec370 .
.
_:N5015002a225f47cabf0c2a0f79411205 .
_:Ne82576b152904abcb0cf6122adfec370 .
_:N98862b9dc97c42c8b45a03d0d377c31e .
"chapters" .
"Information and Computing Sciences" .
"false"^^ .
"https://doi.org/10.1007/3-540-57530-8_8" .
_:N98862b9dc97c42c8b45a03d0d377c31e "Springer Nature" .
.
"semantic query optimization" .
"optimizer" .
"model" .
"A logic for rule-based query optimization in graph-based data models" .
_:N1ae58efc8e32416e8eae3a8daff4d984 .
.
_:N5849b7c736cc4d5eb9f78025bedc9e34 _:N03a16020d429400bb421b9880c6cede8 .
"Department of Computer Science, University of Waterloo, UK" .
_:N1ae58efc8e32416e8eae3a8daff4d984 "10.1007/3-540-57530-8_8" .
"data model" .