Diffusion afp-devel 03277199a540

new entry Query_Optimization
03277199a540
Actions

Tags

None

Subscribers

None

Description

new entry Query_Optimization

Details

Provenance

Authored on

Parents

rAFP2482f4650245: new entry Undirected_Graph_Theory

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP03277199a540: new entry Query_Optimization.Oct 5 2022, 10:41 AM

Changes (56)

Path

Size

Query_Optimization.toml

Query_Optimization

CostFunctions.thy

Directed_Tree_Additions.thy

Graph_Additions.thy

Graph_Definitions.thy

Graph_Theory_Batteries.thy

IKKBZ_Examples.thy

IKKBZ_Optimality.thy

Selectivities.thy

Shortest_Path_Tree.thy

stevens/

data/

dependencies/

graph_theory/

Graph_Theory.html

Query_Optimization.html

statistics/

query_optimization

topics/

computer-science/

data-management-systems/

rAFP03277199a540

metadata/authors.toml

Loading...

metadata/entries/Query_Optimization.toml

Loading...

thys/Query_Optimization/CostFunctions.thy

Loading...

thys/Query_Optimization/Directed_Tree_Additions.thy

Loading...

thys/Query_Optimization/Dtree.thy

Loading...

thys/Query_Optimization/Graph_Additions.thy

Loading...

thys/Query_Optimization/Graph_Definitions.thy

Loading...

thys/Query_Optimization/Graph_Theory_Batteries.thy

Loading...

thys/Query_Optimization/IKKBZ.thy

Loading...

thys/Query_Optimization/IKKBZ_Examples.thy

Loading...

thys/Query_Optimization/IKKBZ_Optimality.thy

Loading...

thys/Query_Optimization/JoinTree.thy

Loading...

thys/Query_Optimization/List_Dtree.thy

Loading...

thys/Query_Optimization/Misc.thy

Loading...

thys/Query_Optimization/QueryGraph.thy

Loading...

thys/Query_Optimization/ROOT

Loading...

thys/Query_Optimization/Selectivities.thy

Loading...

thys/Query_Optimization/Shortest_Path_Tree.thy

Loading...

thys/Query_Optimization/document/root.bib

Loading...

thys/Query_Optimization/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/stevens/index.html

Loading...

web/authors/stevens/index.xml

Loading...

web/authors/stoeckl/index.html

Loading...

web/authors/stoeckl/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/graph_theory/index.html

Loading...

web/dependencies/graph_theory/index.xml

Loading...

web/dependencies/index.html

Loading...

web/entries/Graph_Theory.html

Loading...

web/entries/Query_Optimization.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/theories/query_optimization/index.html

Loading...

web/topics/computer-science/data-management-systems/index.html

Loading...

web/topics/computer-science/data-management-systems/index.xml

Loading...

web/topics/index.html

Loading...