Workshops
Fall 2023

Logic and Algebra for Query Evaluation

Monday, Nov 13, 2023 to Friday, Nov 17, 2023 

Add to Calendar

Organizers:

Sudeepa Roy (Duke University; co-chair), Dan Suciu (University of Washington; co-chair), Wolfgang Gatterbauer (Northeastern University), Val Tannen (University of Pennsylvania)

The workshop will discuss semantics of logic programs over general semirings: constraints over semirings, query complexity with semiring semantics, termination conditions of logic programs over semirings. The connection between semirings and logic is a relatively new development in database theory (since 2007), and this area has high potential for major innovation. Some of the problems discussed at the workshop will be inspired by systems, others will be purely theoretical in nature, such as the quest for finding appropriate extensions of Pebble Games to semiring semantics.

To contact the organizers about this workshop, please complete this form.

Please note: the Simons Institute regularly captures photos and video of activity around the Institute for use in videos, publications, and promotional materials.