Published in: LIPIcs, Volume 338, 23rd International Symposium on Experimental Algorithms (SEA 2025)
Lorenzo Bellomo, Giuseppe Cianci, Luca de Rosa, Paolo Ferragina, and Mattia Odorisio. A Comparative Study of Compressed, Learned, and Traditional Indexing Methods for Integer Data. In 23rd International Symposium on Experimental Algorithms (SEA 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 338, pp. 5:1-5:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{bellomo_et_al:LIPIcs.SEA.2025.5,
author = {Bellomo, Lorenzo and Cianci, Giuseppe and de Rosa, Luca and Ferragina, Paolo and Odorisio, Mattia},
title = {{A Comparative Study of Compressed, Learned, and Traditional Indexing Methods for Integer Data}},
booktitle = {23rd International Symposium on Experimental Algorithms (SEA 2025)},
pages = {5:1--5:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-375-1},
ISSN = {1868-8969},
year = {2025},
volume = {338},
editor = {Mutzel, Petra and Prezza, Nicola},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2025.5},
URN = {urn:nbn:de:0030-drops-232439},
doi = {10.4230/LIPIcs.SEA.2025.5},
annote = {Keywords: indexing data structures, compression, algorithm engineering, benchmark}
}
Published in: LIPIcs, Volume 331, 36th Annual Symposium on Combinatorial Pattern Matching (CPM 2025)
Paolo Ferragina and Filippo Lari. FL-RMQ: A Learned Approach to Range Minimum Queries. In 36th Annual Symposium on Combinatorial Pattern Matching (CPM 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 331, pp. 7:1-7:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ferragina_et_al:LIPIcs.CPM.2025.7,
author = {Ferragina, Paolo and Lari, Filippo},
title = {{FL-RMQ: A Learned Approach to Range Minimum Queries}},
booktitle = {36th Annual Symposium on Combinatorial Pattern Matching (CPM 2025)},
pages = {7:1--7:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-369-0},
ISSN = {1868-8969},
year = {2025},
volume = {331},
editor = {Bonizzoni, Paola and M\"{a}kinen, Veli},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CPM.2025.7},
URN = {urn:nbn:de:0030-drops-231014},
doi = {10.4230/LIPIcs.CPM.2025.7},
annote = {Keywords: Range-Minimum query, Learned data structures, Compact data structures, Experimental results}
}
Published in: LIPIcs, Volume 328, 28th International Conference on Database Theory (ICDT 2025)
Silviu Maniu and Pierre Senellart. Database Theory in Action: Making Provenance and Probabilistic Database Theory Work in Practice (Invited Talk). In 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 328, pp. 33:1-33:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{maniu_et_al:LIPIcs.ICDT.2025.33,
author = {Maniu, Silviu and Senellart, Pierre},
title = {{Database Theory in Action: Making Provenance and Probabilistic Database Theory Work in Practice (Invited Talk)}},
booktitle = {28th International Conference on Database Theory (ICDT 2025)},
pages = {33:1--33:6},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-364-5},
ISSN = {1868-8969},
year = {2025},
volume = {328},
editor = {Roy, Sudeepa and Kara, Ahmet},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2025.33},
URN = {urn:nbn:de:0030-drops-229746},
doi = {10.4230/LIPIcs.ICDT.2025.33},
annote = {Keywords: provenance, probabilistic data, ProvSQL}
}
Published in: LIPIcs, Volume 328, 28th International Conference on Database Theory (ICDT 2025)
Luis Alberto Croquevielle, Guang Yang, Liang Liang, Ali Hadian, and Thomas Heinis. Beyond Logarithmic Bounds: Querying in Constant Expected Time with Learned Indexes. In 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 328, pp. 19:1-19:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{croquevielle_et_al:LIPIcs.ICDT.2025.19,
author = {Croquevielle, Luis Alberto and Yang, Guang and Liang, Liang and Hadian, Ali and Heinis, Thomas},
title = {{Beyond Logarithmic Bounds: Querying in Constant Expected Time with Learned Indexes}},
booktitle = {28th International Conference on Database Theory (ICDT 2025)},
pages = {19:1--19:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-364-5},
ISSN = {1868-8969},
year = {2025},
volume = {328},
editor = {Roy, Sudeepa and Kara, Ahmet},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2025.19},
URN = {urn:nbn:de:0030-drops-229603},
doi = {10.4230/LIPIcs.ICDT.2025.19},
annote = {Keywords: Learned Indexes, Expected Time, Stochastic Processes, R\'{e}nyi Entropy}
}
Published in: OASIcs, Volume 119, The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen (2024)
Pierre Senellart. On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System. In The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen. Open Access Series in Informatics (OASIcs), Volume 119, pp. 9:1-9:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{senellart:OASIcs.Tannen.9,
author = {Senellart, Pierre},
title = {{On the Impact of Provenance Semiring Theory on the Design of a Provenance-Aware Database System}},
booktitle = {The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen},
pages = {9:1--9:10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-320-1},
ISSN = {2190-6807},
year = {2024},
volume = {119},
editor = {Amarilli, Antoine and Deutsch, Alin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Tannen.9},
URN = {urn:nbn:de:0030-drops-201050},
doi = {10.4230/OASIcs.Tannen.9},
annote = {Keywords: provenance, provenance semiring, ProvSQL}
}
Published in: Dagstuhl Seminar Proceedings, Volume 6121, Atomicity: A Unifying Concept in Computer Science (2006)
Gerhard Weikum, Clifford B. Jones, David Lomet, and Alexander Romanovsky. 06121 Abstracts Collection – Atomicity: A Unifying Concept in Computer Science. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{weikum_et_al:DagSemProc.06121.1,
author = {Weikum, Gerhard and Jones, Clifford B. and Lomet, David and Romanovsky, Alexander},
title = {{06121 Abstracts Collection – Atomicity: A Unifying Concept in Computer Science}},
booktitle = {Atomicity: A Unifying Concept in Computer Science},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6121},
editor = {Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.1},
URN = {urn:nbn:de:0030-drops-8365},
doi = {10.4230/DagSemProc.06121.1},
annote = {Keywords: Formal methods, dependability, fault tolerance, atomic actions, databases, advanced transactional models, system structuring}
}
Published in: Dagstuhl Seminar Proceedings, Volume 6121, Atomicity: A Unifying Concept in Computer Science (2006)
Gerhard Weikum, Clifford B. Jones, David Lomet, and Alexander Romanovsky. 06121 Executive Summary – Atomicity: A Unifying Concept in Computer Science. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{weikum_et_al:DagSemProc.06121.2,
author = {Weikum, Gerhard and Jones, Clifford B. and Lomet, David and Romanovsky, Alexander},
title = {{06121 Executive Summary – Atomicity: A Unifying Concept in Computer Science}},
booktitle = {Atomicity: A Unifying Concept in Computer Science},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6121},
editor = {Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.2},
URN = {urn:nbn:de:0030-drops-8358},
doi = {10.4230/DagSemProc.06121.2},
annote = {Keywords: Atomicity, concurrency, system structuring, abstraction, fault tolerance}
}
Published in: Dagstuhl Seminar Proceedings, Volume 6121, Atomicity: A Unifying Concept in Computer Science (2006)
Calton Pu, Jim Johnson, Rogerio de Lemos, Andreas Reuter, David Taylor, and Irfan Zakiuddin. 06121 Report: Break Out Session on Guaranteed Execution. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{pu_et_al:DagSemProc.06121.3,
author = {Pu, Calton and Johnson, Jim and de Lemos, Rogerio and Reuter, Andreas and Taylor, David and Zakiuddin, Irfan},
title = {{06121 Report: Break Out Session on Guaranteed Execution}},
booktitle = {Atomicity: A Unifying Concept in Computer Science},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {6121},
editor = {Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.3},
URN = {urn:nbn:de:0030-drops-6410},
doi = {10.4230/DagSemProc.06121.3},
annote = {Keywords: Guaranteed properties, declarative specifications, generation of workflow program, generation of invariant guards, automated failure analysis, automat}
}
Published in: Dagstuhl Seminar Proceedings, Volume 4181, Atomicity in System Design and Execution (2004)
Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, and Luis Rodrigues. The Atomic Manifesto: a Story in Four Quarks. In Atomicity in System Design and Execution. Dagstuhl Seminar Proceedings, Volume 4181, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2004)
@InProceedings{jones_et_al:DagSemProc.04181.1,
author = {Jones, Cliff and Lomet, David and Romanovsky, Alexander and Weikum, Gerhard and Fekete, Alan and Gaudel, Marie-Claude and Korth, Henry F. and de Lemos, Rogerio and Moss, Eliot and Rajwar, Ravi and Ramamritham, Krithi and Randell, Brian and Rodrigues, Luis},
title = {{The Atomic Manifesto: a Story in Four Quarks}},
booktitle = {Atomicity in System Design and Execution},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2004},
volume = {4181},
editor = {Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04181.1},
URN = {urn:nbn:de:0030-drops-93},
doi = {10.4230/DagSemProc.04181.1},
annote = {Keywords: Atomic Actions , Transaction Processing , Database Systems , Dependability , Fault Tolerance , Formal Methods , Correctness Reasoning}
}