Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Title: Formalization of Multiwa...

Email Gateway (Aug 22 2022 at 20:35):

From: Tobias Nipkow <nipkow@in.tum.de>
Title: Formalization of Multiway-Join Algorithms
Thibault Dardinier

Worst-case optimal multiway-join algorithms are recent seminal achievement of
the database community. These algorithms compute the natural join of multiple
relational databases and improve in the worst case over traditional query plan
optimizations of nested binary joins. In 2014, Ngo, Ré, and Rudra gave a unified
presentation of different multi-way join algorithms. We formalized and proved
correct their "Generic Join" algorithm and extended it to support negative joins.

https://www.isa-afp.org/entries/Generic_Join.html

Enjoy!
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC