default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeonid Libkin
Person information
- affiliation: University of Edinburgh, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c145]Leonid Libkin
:
GQL in Academia: a Progress Report. GRADES/NDA 2025: 1:1- [c144]Leonid Libkin, Cristina Sirangelo, Deniz Yilmaz:
Extending Pattern Matching Queries in Property Graphs with Interpreted Predicates. GRADES/NDA 2025: 6:1-6:9 - [c143]Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Cristina Sirangelo:
Queries with External Predicates. ICDT 2025: 22:1-22:20 - [c142]Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova:
Database Theory in Action: Cypher, GQL, and Regular Path Queries. ICDT 2025: 36:1-36:5 - [c141]Diego Calvanese, Graham Cormode, Leonid Libkin:
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2025. PODS Companion 2025: 7 - [c140]Leonid Libkin, Wim Martens, Filip Murlak, Liat Peterfreund, Domagoj Vrgoc:
Querying Graph Data: Where We Are and Where To Go. PODS Companion 2025: 9-26 - [c139]Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika:
Rel: A Programming Language for Relational Data. SIGMOD Conference Companion 2025: 283-296 - [i16]Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika:
Rel: A Programming Language for Relational Data. CoRR abs/2504.10323 (2025) - 2024
- [j96]Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings. Theory Pract. Log. Program. 24(2): 279-309 (2024) - [i15]Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova:
GQL and SQL/PGQ: Theoretical Models and Expressive Power. CoRR abs/2409.01102 (2024) - 2023
- [j95]Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic:
PG-Schema: Schemas for Property Graphs. Proc. ACM Manag. Data 1(2): 198:1-198:25 (2023) - [j94]Leonid Libkin:
Technical Perspective: Query Answers - Fewer is Faster. SIGMOD Rec. 52(1): 63 (2023) - [c138]Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc:
A Researcher's Digest of GQL (Invited Talk). ICDT 2023: 1:1-1:22 - [c137]Leonid Libkin, Liat Peterfreund:
SQL Nulls and Two-Valued Logic. PODS 2023: 11-20 - [c136]Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc:
GPC: A Pattern Calculus for Property Graphs. PODS 2023: 241-250 - [c135]Marco Console, Leonid Libkin, Liat Peterfreund:
Querying Incomplete Numerical Data: Between Certain and Possibile Answers. PODS 2023: 349-358 - [c134]Gábor Szárnyas, Brad Bebee, Altan Birler, Alin Deutsch, George Fletcher, Henry A. Gabb, Denise Gosnell, Alastair Green, Zhihui Guo, Keith W. Hare, Jan Hidders, Alexandru Iosup, Atanas Kiryakov, Tomas Kovatchev, Xinsheng Li, Leonid Libkin, Heng Lin, Xiaojian Luo, Arnau Prat-Pérez, David Püroja, Shipeng Qi, Oskar van Rest, Benjamin A. Steer, Dávid Szakállas, Bing Tong, Jack Waudby, Mingxi Wu, Bin Yang, Wenyuan Yu, Chen Zhang, Jason Zhang, Yan Zhou, Peter A. Boncz:
The Linked Data Benchmark Council (LDBC): Driving Competition and Collaboration in the Graph Data Management Space. TPCTC 2023: 90-106 - [i14]Gábor Szárnyas, Brad Bebee, Altan Birler, Alin Deutsch, George Fletcher, Henry A. Gabb, Denise Gosnell, Alastair Green, Zhihui Guo, Keith W. Hare, Jan Hidders, Alexandru Iosup, Atanas Kiryakov, Tomas Kovatchev, Xinsheng Li, Leonid Libkin, Heng Lin, Xiaojian Luo, Arnau Prat-Pérez, David Püroja, Shipeng Qi, Oskar van Rest, Benjamin A. Steer, Dávid Szakállas, Bing Tong, Jack Waudby, Mingxi Wu, Bin Yang, Wenyuan Yu, Chen Zhang, Jason Zhang, Yan Zhou, Peter A. Boncz:
The Linked Data Benchmark Council (LDBC): Driving competition and collaboration in the graph data management space. CoRR abs/2307.04350 (2023) - [i13]Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings. CoRR abs/2310.12694 (2023) - 2022
- [j93]Marco Console, Paolo Guagliardo, Leonid Libkin:
Propositional and predicate logics of incomplete information. Artif. Intell. 302: 103603 (2022) - [j92]Marco Console, Paolo Guagliardo, Leonid Libkin:
Fragments of bag relational algebra: Expressiveness and certain answers. Inf. Syst. 105: 101604 (2022) - [j91]Etienne Toussaint, Paolo Guagliardo, Leonid Libkin, Juan Sequeda:
Troubles with Nulls, Views from the Users. Proc. VLDB Endow. 15(11): 2613-2625 (2022) - [c133]Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo:
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Datalog 2022: 14-26 - [c132]Alin Deutsch, Nadime Francis, Alastair Green, Keith W. Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke:
Graph Pattern Matching in GQL and SQL/PGQ. SIGMOD Conference 2022: 2246-2258 - [e8]Leonid Libkin, Pablo Barceló:
PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. ACM 2022, ISBN 978-1-4503-9260-0 [contents] - [i12]Marco Console, Leonid Libkin, Liat Peterfreund:
Querying Incomplete Numerical Data: Between Certain and Possible Answers. CoRR abs/2210.15395 (2022) - [i11]Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc:
GPC: A Pattern Calculus for Property Graphs. CoRR abs/2210.16580 (2022) - [i10]Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic:
PG-Schema: Schemas for Property Graphs. CoRR abs/2211.10962 (2022) - 2021
- [j90]Martin Koehler, Edward Abel, Alex Bogatu, Cristina Civili, Lacramioara Mazilu, Nikolaos Konstantinou, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton:
Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling. IEEE Trans. Big Data 7(1): 169-186 (2021) - [c131]Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak, Josh Perryman, Ognjen Savkovic, Michael Schmidt, Juan F. Sequeda, Slawek Staworko, Dominik Tomaszuk:
PG-Keys: Keys for Property Graphs. SIGMOD Conference 2021: 2423-2436 - [e7]Leonid Libkin, Reinhard Pichler, Paolo Guagliardo:
PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021. ACM 2021, ISBN 978-1-4503-8381-3 [contents] - [i9]Alin Deutsch, Nadime Francis, Alastair Green, Keith W. Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Hannes Voigt, Oskar van Rest, Domagoj Vrgoc, Mingxi Wu, Fred Zemke:
Graph Pattern Matching in GQL and SQL/PGQ. CoRR abs/2112.06217 (2021) - 2020
- [c130]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Reasoning about Measures of Unmeasurable Sets. KR 2020: 264-273 - [c129]Etienne Toussaint, Paolo Guagliardo, Leonid Libkin:
Knowledge-Preserving Certain Answers for SQL-like Queries. KR 2020: 758-767 - [c128]Marco Console, Paolo Guagliardo, Leonid Libkin, Etienne Toussaint:
Coping with Incomplete Data: Recent Advances. PODS 2020: 33-47 - [c127]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Queries with Arithmetic on Incomplete Databases. PODS 2020: 179-189 - [i8]Leonid Libkin, Liat Peterfreund:
Handling SQL Nulls with Two-Valued Logic. CoRR abs/2012.13198 (2020)
2010 – 2019
- 2019
- [j89]Paolo Guagliardo, Leonid Libkin:
On the Codd semantics of SQL nulls. Inf. Syst. 86: 46-60 (2019) - [j88]Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Martin Schuster, Petra Selmer, Hannes Voigt:
Updating Graph Databases with Cypher. Proc. VLDB Endow. 12(12): 2242-2253 (2019) - [j87]Leonid Libkin:
Research Highlights: Bridging Theory and Practice with Query Log Analysis. SIGMOD Rec. 48(1): 5 (2019) - [c126]Marco Console, Paolo Guagliardo, Leonid Libkin:
Fragments of Bag Relational Algebra: Expressiveness and Certain Answers. ICDT 2019: 8:1-8:16 - [c125]Marco Console, Matthias F. J. Hofer, Leonid Libkin:
Measuring the Likelihood of Numerical Constraints. IJCAI 2019: 1654-1660 - [c124]Marco Console, Paolo Guagliardo, Leonid Libkin:
Do We Need Many-valued Logics for Incomplete Information?. IJCAI 2019: 6141-6145 - [r3]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Graph Path Navigation. Encyclopedia of Big Data Technologies 2019 - 2018
- [j86]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [j85]Leonid Libkin, Juan L. Reutter, Adrián Soto, Domagoj Vrgoc:
TriAL: A Navigational Algebra for RDF Triplestores. ACM Trans. Database Syst. 43(1): 5:1-5:46 (2018) - [c123]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. AMW 2018 - [c122]Paolo Guagliardo, Leonid Libkin:
How Standard is the SQL Standard? AMW 2018 - [c121]Giovanni Amendola, Leonid Libkin:
Explainable Certain Answers. IJCAI 2018: 1683-1690 - [c120]Cristina Civili, Leonid Libkin:
Approximating Certainty in Querying Data and Metadata. KR 2018: 582-591 - [c119]Marco Console, Paolo Guagliardo, Leonid Libkin:
Propositional and Predicate Logics of Incomplete Information. KR 2018: 592-601 - [c118]Leonid Libkin:
Certain Answers Meet Zero-One Laws. PODS 2018: 195-207 - [c117]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. PODS 2018: 239-251 - [c116]Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrés Taylor:
Cypher: An Evolving Query Language for Property Graphs. SIGMOD Conference 2018: 1433-1445 - [r2]Leonid Libkin:
Expressive Power of Query Languages. Encyclopedia of Database Systems (2nd ed.) 2018 - [i7]Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor:
Formal Semantics of the Language Cypher. CoRR abs/1802.09984 (2018) - [i6]Martin Koehler, Alex Bogatu, Cristina Civili, Nikolaos Konstantinou, Edward Abel, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton:
Data Context Informed Data Wrangling. CoRR abs/1811.09248 (2018) - 2017
- [j84]Leonid Libkin:
Technical Perspective: Data distribution for fast joins. Commun. ACM 60(3): 92 (2017) - [j83]Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
20th workshop on logic, language, information and computation - WoLLIC 2013. J. Comput. Syst. Sci. 88: 1-2 (2017) - [j82]Paolo Guagliardo, Leonid Libkin:
A Formal Semantics of SQL Queries, Its Validation, and Applications. Proc. VLDB Endow. 11(1): 27-39 (2017) - [j81]Paolo Guagliardo, Leonid Libkin:
Correctness of SQL Queries on Databases with Nulls. SIGMOD Rec. 46(3): 5-16 (2017) - [c115]Paolo Guagliardo, Leonid Libkin:
On the Codd Semantics of SQL Nulls. AMW 2017 - [c114]Martin Koehler, Alex Bogatu, Cristina Civili, Nikolaos Konstantinou, Edward Abel, Alvaro A. A. Fernandes, John A. Keane, Leonid Libkin, Norman W. Paton:
Data context informed data wrangling. IEEE BigData 2017: 956-963 - [c113]Marco Console, Paolo Guagliardo, Leonid Libkin:
On Querying Incomplete Information in Databases under Bag Semantics. IJCAI 2017: 993-999 - [c112]Leonid Libkin, Moshe Y. Vardi:
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2017: 91 - [c111]Nadime Francis, Leonid Libkin:
Schema Mappings for Data Graphs. PODS 2017: 389-401 - [c110]Nikolaos Konstantinou, Martin Koehler, Edward Abel, Cristina Civili, Bernd Neumayr, Emanuel Sallinger, Alvaro A. A. Fernandes, Georg Gottlob, John A. Keane, Leonid Libkin, Norman W. Paton:
The VADA Architecture for Cost-Effective Data Wrangling. SIGMOD Conference 2017: 1599-1602 - [i5]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR abs/1701.09007 (2017) - 2016
- [j80]Leonid Libkin:
Certain answers as objects and knowledge. Artif. Intell. 232: 1-19 (2016) - [j79]Pablo Barceló, Leonid Libkin:
Order-Invariant Types and Their Applications. Log. Methods Comput. Sci. 12(1) (2016) - [j78]Leonid Libkin, Wim Martens, Domagoj Vrgoc:
Querying Graphs with Data. J. ACM 63(2): 14:1-14:53 (2016) - [j77]Leonid Libkin:
Technical Perspective: Data Distribution for Fast Joins. SIGMOD Rec. 45(1): 32 (2016) - [j76]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45(4): 5-17 (2016) - [j75]Leonid Libkin:
SQL's Three-Valued Logic and Certain Answers. ACM Trans. Database Syst. 41(1): 1:1-1:28 (2016) - [c109]Tim Furche, Georg Gottlob, Leonid Libkin, Giorgio Orsi, Norman W. Paton:
Data Wrangling for Big Data: Challenges and Opportunities. EDBT 2016: 473-478 - [c108]Marco Console, Paolo Guagliardo, Leonid Libkin:
Approximations and Refinements of Certain Answers via Many-Valued Logics. KR 2016: 349-358 - [c107]Paolo Guagliardo, Leonid Libkin:
Making SQL Queries Correct on Incomplete Databases: A Feasibility Study. PODS 2016: 211-223 - [c106]Leonid Libkin:
Negative Knowledge for Certain Query Answers. RR 2016: 111-127 - 2015
- [j74]Leonid Libkin, Tony Tan, Domagoj Vrgoc:
Regular expressions for data words. J. Comput. Syst. Sci. 81(7): 1278-1297 (2015) - [j73]Diego Figueira, Leonid Libkin:
Synchronizing Relations on Words. Theory Comput. Syst. 57(2): 287-318 (2015) - [j72]Amélie Gheerbrant, Leonid Libkin:
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. Theory Comput. Syst. 57(4): 892-926 (2015) - [c105]Leonid Libkin:
SQL's Three-Valued Logic and Certain Answers. ICDT 2015: 94-109 - [c104]Leonid Libkin:
How to Define Certain Answers. IJCAI 2015: 4282-4288 - [c103]Diego Figueira, Leonid Libkin:
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. LICS 2015: 329-340 - [c102]Leonid Libkin:
SQL's Handling of Nulls: Can It Be Fixed? SEBD 2015: 7-10 - 2014
- [b4]Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak:
Foundations of Data Exchange. Cambridge University Press 2014, ISBN 9781107016163 - [j71]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Querying Regular Graph Patterns. J. ACM 61(1): 8:1-8:54 (2014) - [j70]Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak:
XML Schema Mappings: Data Exchange and Metadata Management. J. ACM 61(2): 12:1-12:48 (2014) - [j69]Pablo Barceló, Leonid Libkin, Miguel Romero:
Efficient Approximations of Conjunctive Queries. SIAM J. Comput. 43(3): 1085-1130 (2014) - [j68]Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo:
Naïve Evaluation of Queries over Incomplete Databases. ACM Trans. Database Syst. 39(4): 31:1-31:42 (2014) - [c101]Diego Figueira, Leonid Libkin:
Pattern logics and auxiliary relations. CSL-LICS 2014: 40:1-40:10 - [c100]Leonid Libkin:
Certain Answers as Objects and Knowledge. KR 2014 - [c99]Leonid Libkin:
Incomplete data: what went wrong, and how to fix it. PODS 2014: 1-13 - [c98]Wenfei Fan, Floris Geerts, Leonid Libkin:
On scale independence for querying big data. PODS 2014: 51-62 - [c97]Diego Figueira, Leonid Libkin:
Synchronizing Relations on Words. STACS 2014: 518-529 - 2013
- [j67]Pablo Barceló, Diego Figueira, Leonid Libkin:
Graph Logics with Rational Relations. Log. Methods Comput. Sci. 9(3) (2013) - [j66]Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin:
Solutions and query rewriting in data exchange. Inf. Comput. 228: 28-61 (2013) - [j65]Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu:
On the aggregation problem for synthesized Web services. J. Comput. Syst. Sci. 79(6): 873-891 (2013) - [j64]Pablo Barceló, Juan L. Reutter, Leonid Libkin:
Parameterized regular expressions and their languages. Theor. Comput. Sci. 474: 21-45 (2013) - [c96]Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter:
Static Analysis and Query Answering for Incomplete Data Trees with Constraints. In Search of Elegance in the Theory and Practice of Computation 2013: 273-290 - [c95]Leonid Libkin, Tony Tan, Domagoj Vrgoc:
Regular Expressions with Binding over Data Words for Querying Graph Databases. Developments in Language Theory 2013: 325-337 - [c94]Leonid Libkin, Wim Martens, Domagoj Vrgoc:
Querying graph databases with XPath. ICDT 2013: 129-140 - [c93]Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens:
Containment of pattern-based queries over data trees. ICDT 2013: 201-212 - [c92]Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo:
When is naive evaluation possible? PODS 2013: 75-86 - [c91]Leonid Libkin, Juan L. Reutter, Domagoj Vrgoc:
Trial for RDF: adapting graph query languages for RDF data. PODS 2013: 201-212 - [c90]Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo:
Reasoning About Pattern-Based XML Queries. RR 2013: 4-18 - [e6]Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman:
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents] - [e5]Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science 8071, Springer 2013, ISBN 978-3-642-39991-6 [contents] - 2012
- [j63]Rada Chirkova, Leonid Libkin, Juan L. Reutter:
Tractable XML data exchange via relations. Frontiers Comput. Sci. 6(3): 243-263 (2012) - [j62]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37(3): 19:1-19:28 (2012) - [j61]Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood:
Expressive Languages for Path Queries over Graph-Structured Data. ACM Trans. Database Syst. 37(4): 31:1-31:46 (2012) - [c89]Pablo Barceló, Leonid Libkin, Miguel Romero:
On Low Treewidth Approximations of Conjunctive Queries. AMW 2012: 91-101 - [c88]Leonid Libkin, Domagoj Vrgoc:
Regular path queries on graphs with data. ICDT 2012: 74-85 - [c87]Amélie Gheerbrant, Leonid Libkin, Tony Tan:
On the complexity of query answering over incomplete XML documents. ICDT 2012: 169-181 - [c86]Pablo Barceló, Diego Figueira, Leonid Libkin:
Graph Logics with Rational Relations and the Generalized Intersection Problem. LICS 2012: 115-124 - [c85]Leonid Libkin, Domagoj Vrgoc:
Regular Expressions for Data Words. LPAR 2012: 274-288 - [c84]Pablo Barceló, Leonid Libkin, Miguel Romero:
Efficient approximations of conjunctive queries. PODS 2012: 249-260 - 2011
- [j60]Leonid Libkin, Cristina Sirangelo:
Data exchange and schema mappings in open and closed worlds. J. Comput. Syst. Sci. 77(3): 542-571 (2011) - [j59]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory Comput. Syst. 49(3): 639-670 (2011) - [j58]André Hernich, Leonid Libkin, Nicole Schweikardt:
Closed world data exchange. ACM Trans. Database Syst. 36(2): 14:1-14:40 (2011) - [c83]Nadime Francis, Claire David, Leonid Libkin:
A Direct Translation from XPath to Nondeterministic Automata. AMW 2011 - [c82]Rada Chirkova, Leonid Libkin, Juan L. Reutter:
Tractable XML data exchange via relations. CIKM 2011: 1629-1638 - [c81]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Parameterized Regular Expressions and Their Languages. FSTTCS 2011: 351-362 - [c80]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29 - [c79]Leonid Libkin:
Incomplete information and certain answers in general data models. PODS 2011: 59-70 - [c78]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Querying graph patterns. PODS 2011: 199-210 - [i4]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
Parameterized Regular Expressions and their Languages. CoRR abs/1107.0577 (2011) - 2010
- [b3]Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak:
Relational and XML Data Exchange. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00712-5 - [j57]Leonid Libkin, Cristina Sirangelo:
Disjoint pattern matching and implication in strings. Inf. Process. Lett. 110(4): 143-147 (2010) - [j56]Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo:
XML with incomplete information. J. ACM 58(1): 4:1-4:62 (2010) - [j55]Leonid Libkin, Cristina Sirangelo:
Reasoning about XML with temporal logics and automata. J. Appl. Log. 8(2): 210-232 (2010) - [j54]Solmaz Kolahi, Leonid Libkin:
An information-theoretic analysis of worst-case redundancy in database design. ACM Trans. Database Syst. 35(1): 5:1-5:32 (2010) - [c77]Pablo Barceló, Leonid Libkin, Juan L. Reutter:
On Incomplete XML Documents with Integrity Constraints. AMW 2010 - [c76]Anthony Widjaja To, Leonid Libkin:
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. FoSSaCS 2010: 221-236 - [c75]Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak:
On the tradeoff between mapping and querying power in XML data exchange. ICDT 2010: 155-164 - [c74]Ting Deng, Wenfei Fan, Leonid Libkin, Yinghui Wu:
On the aggregation problem for synthesized web services. ICDT 2010: 242-251 - [c73]Claire David, Leonid Libkin, Tony Tan:
On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) 2010: 248-262 - [c72]Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood:
Expressive languages for path queries over graph-structured data. PODS 2010: 3-14 - [c71]Claire David, Leonid Libkin, Filip Murlak:
Certain answers for XML queries. PODS 2010: 191-202
2000 – 2009
- 2009
- [j53]Leonid Libkin, Victor Vianu:
Introduction to PODS 2007 special section. J. ACM 56(6): 29:1 (2009) - [c70]Leonid Libkin, Cristina Sirangelo:
Open and Closed World Assumptions in Data Exchange. Description Logics 2009 - [c69]Shun'ichi Amano, Leonid Libkin, Filip Murlak:
XML schema mappings. PODS 2009: 33-42 - [c68]Leonid Libkin:
The finite model theory toolbox of a database theoretician. PODS 2009: 65-76 - [c67]Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo:
XML with incomplete information: models, properties, and query answering. PODS 2009: 237-246 - [r1]Leonid Libkin:
Expressive Power of Query Languages. Encyclopedia of Database Systems 2009: 1081-1083 - [i3]Anthony Widjaja To, Leonid Libkin:
Algorithmic metatheorems for decidable LTL model checking over infinite systems. CoRR abs/0910.4932 (2009) - 2008
- [j52]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Game-based notions of locality over finite models. Ann. Pure Appl. Log. 152(1-3): 3-30 (2008) - [j51]Marcelo Arenas, Leonid Libkin:
XML data exchange: Consistency and query answering. J. ACM 55(2): 7:1-7:72 (2008) - [j50]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. Log. Methods Comput. Sci. 4(4) (2008) - [j49]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
On the Complexity of Verifying Consistency of XML Specifications. SIAM J. Comput. 38(3): 841-880 (2008) - [j48]Leonid Libkin:
Introduction to the PODS 2007 special section. ACM Trans. Database Syst. 33(4): 24:1 (2008) - [c66]Leonid Libkin, Cristina Sirangelo:
Reasoning about XML with Temporal Logics and Automata. LPAR 2008: 97-112 - [c65]Anthony Widjaja To, Leonid Libkin:
Recurrent Reachability Analysis in Regular Model Checking. LPAR 2008: 198-213 - [c64]Leonid Libkin, Cristina Sirangelo:
Data exchange and schema mappings in open and closed worlds. PODS 2008: 139-148 - [i2]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. CoRR abs/0811.0537 (2008) - 2007
- [b2]Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein:
Finite Model Theory and Its Applications. Texts in Theoretical Computer Science. An EATCS Series, Springer 2007, ISBN 978-3-540-00428-8, pp. 1-437 - [j47]Thomas Eiter, Leonid Libkin:
Preface. Theor. Comput. Sci. 371(3): 147 (2007) - [j46]Michael Benedikt, Leonid Libkin, Frank Neven:
Logical definability and query languages over ranked and unranked trees. ACM Trans. Comput. Log. 8(2): 11 (2007) - [c63]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900 - [c62]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373 - [c61]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160 - [c60]Solmaz Kolahi, Leonid Libkin:
XML design for relational storage. WWW 2007: 1083-1092 - [c59]Leonid Libkin:
Normalization Theory for XML. XSym 2007: 1-13 - [e4]Leonid Libkin:
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China. ACM 2007, ISBN 978-1-59593-685-1 [contents] - 2006
- [j45]Leonid Libkin:
Embedded Finite Models. Bull. EATCS 90: 134-149 (2006) - [j44]Leonid Libkin:
Logics for Unranked Trees: An Overview. Log. Methods Comput. Sci. 2(3) (2006) - [j43]Thomas Eiter, Leonid Libkin:
Introduction to special ICDT section. ACM Trans. Database Syst. 31(3): 769 (2006) - [c58]Leonid Libkin:
Data exchange and incomplete information. PODS 2006: 60-69 - [c57]Solmaz Kolahi, Leonid Libkin:
On redundancy vs dependency preservation in normalization: an information-theoretic study of 3NF. PODS 2006: 114-123 - [i1]Leonid Libkin:
Logics for Unranked Trees: An Overview. CoRR abs/cs/0606062 (2006) - 2005
- [j42]Marcelo Arenas, Leonid Libkin:
An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2): 246-283 (2005) - [c56]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
Consistency of XML Specifications. Inconsistency Tolerance 2005: 15-41 - [c55]Leonid Libkin:
Logics for Unranked Trees: An Overview. ICALP 2005: 35-50 - [c54]Pablo Barceló, Leonid Libkin:
Temporal Logics over Unranked Trees. LICS 2005: 31-40 - [c53]Marcelo Arenas, Leonid Libkin:
XML data exchange: consistency and query answering. PODS 2005: 13-24 - [c52]Leonid Libkin:
Locality of Queries and Transformations. WoLLIC 2005: 115-127 - [e3]Thomas Eiter, Leonid Libkin:
Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Lecture Notes in Computer Science 3363, Springer 2005, ISBN 3-540-24288-0 [contents] - 2004
- [b1]Leonid Libkin:
Elements of Finite Model Theory. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 3-540-21202-7, pp. 1-318 - [j41]Marcelo Arenas, Leonid Libkin:
A normal form for XML documents. ACM Trans. Database Syst. 29: 195-232 (2004) - [c51]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189 - [c50]Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas:
Efficient Incremental Validation of XML Documents. ICDE 2004: 671-682 - [c49]Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin:
Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240 - 2003
- [j40]Guozhu Dong, Leonid Libkin, Limsoon Wong:
Incremental recomputation in local languages. Inf. Comput. 181(2): 88-98 (2003) - [j39]Leonid Libkin:
A collapse result for constraint queries over structures of small degree. Inf. Process. Lett. 86(5): 277-281 (2003) - [j38]Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin:
Definable relations and first-order query languages over strings. J. ACM 50(5): 694-751 (2003) - [j37]Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin:
Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66(1): 169-206 (2003) - [j36]Leonid Libkin:
Expressive power of SQL. Theor. Comput. Sci. 296(3): 379-404 (2003) - [j35]Leonid Libkin:
Variable independence for first-order definable constraints. ACM Trans. Comput. Log. 4(4): 431-451 (2003) - [c48]Leonid Libkin, Frank Neven:
Logical Definability and Query Languages over Unranked Trees. LICS 2003: 178-187 - [c47]Marcelo Arenas, Leonid Libkin:
An information-theoretic approach to normal forms for relational and XML data. PODS 2003: 15-26 - 2002
- [j34]Wenfei Fan, Leonid Libkin:
On XML integrity constraints in the presence of DTDs. J. ACM 49(3): 368-406 (2002) - [j33]Michael Benedikt, Leonid Libkin:
Aggregate Operators in Constraint Query Languages. J. Comput. Syst. Sci. 64(3): 628-654 (2002) - [j32]Leonid Libkin, Limsoon Wong:
Lower bounds for invariant queries in logics with counting. Theor. Comput. Sci. 288(1): 153-180 (2002) - [j31]Martín Abadi, Leonid Libkin, Frank Pfenning:
Editorial. ACM Trans. Comput. Log. 3(3): 335-335 (2002) - [c46]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
What's Hard about XML Schema Constraints? DEXA 2002: 269-278 - [c45]Michael Benedikt, Leonid Libkin:
Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002: 203- - [c44]Marcelo Arenas, Leonid Libkin:
A Normal Form for XML Documents. PODS 2002: 85-96 - [c43]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
On Verifying Consistency of XML Specifications. PODS 2002: 259-270 - 2001
- [j30]Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin:
On the orthographic dimension of definable sets. Inf. Process. Lett. 79(3): 141-145 (2001) - [j29]Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong:
Logics with aggregate operators. J. ACM 48(4): 880-907 (2001) - [j28]Kenneth A. Ross, Stefano Ceri, Luis Gravano, Per-Åke Larson, Leonid Libkin, Tova Milo:
Reminiscences on Influential Papers. SIGMOD Rec. 30(1): 55-57 (2001) - [j27]Leonid Libkin:
Logics capturing local properties. ACM Trans. Comput. Log. 2(1): 135-153 (2001) - [c42]Leonid Libkin:
Expressive Power of SQL. ICDT 2001: 1-21 - [c41]Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin:
A Model-Theoretic Approach to Regular String Relations. LICS 2001: 431-440 - [c40]Michael Benedikt, Leonid Libkin, Thomas Schwentick, Luc Segoufin:
String Operations in Query Languages. PODS 2001 - [c39]Wenfei Fan, Leonid Libkin:
On XML Integrity Constraints in the Presence of DTDs. PODS 2001 - 2000
- [j26]Michael Benedikt, Leonid Libkin:
Relational queries over interpreted structures. J. ACM 47(4): 644-680 (2000) - [j25]Michael Benedikt, Leonid Libkin:
Safe Constraint Queries. SIAM J. Comput. 29(5): 1652-1682 (2000) - [j24]Guozhu Dong, Leonid Libkin, Limsoon Wong:
Local properties of query languages. Theor. Comput. Sci. 239(2): 277-308 (2000) - [j23]Leonid Libkin:
Logics with counting and local properties. ACM Trans. Comput. Log. 1(1): 33-59 (2000) - [c38]Leonid Libkin:
Variable Independence, Quantifier Elimination, and Constraint Representations. ICALP 2000: 260-271 - [c37]Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin:
Reachability and Connectivity Queries in Constraint Databases. PODS 2000: 104-115 - [c36]Leonid Libkin:
Logics Capturing Local Properties. STACS 2000: 217-229 - [p4]Gabriel M. Kuper, Leonid Libkin, Jan Paredaens:
Introduction. Constraint Databases 2000: 1-16 - [p3]Michael Benedikt, Leonid Libkin:
Expressive Power: The Finite Case. Constraint Databases 2000: 55-87 - [p2]Michael Benedikt, Leonid Libkin:
Query Safety with Constraints. Constraint Databases 2000: 109-129 - [p1]Jan Chomicki, Leonid Libkin:
Aggregate Languages for Constraint Databases. Constraint Databases 2000: 131-154 - [e2]Gabriel M. Kuper, Leonid Libkin, Jan Paredaens:
Constraint Databases. Springer 2000, ISBN 3-540-66151-4 [contents]
1990 – 1999
- 1999
- [j22]Lauri Hella, Leonid Libkin, Juha Nurmonen:
Notions of Locality and Their Logical Characterizations over Finite Models. J. Symb. Log. 64(4): 1751-1773 (1999) - [j21]Leonid Libkin:
Query languages with arithmetic and constraint databases. SIGACT News 30(4): 41-50 (1999) - [j20]Leonid Libkin:
Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases. SIGMOD Rec. 28(4): 24-28 (1999) - [j19]Leonid Libkin:
Database Principles Column - Introduction. SIGMOD Rec. 28(4): 29 (1999) - [c35]Leonid Libkin:
What you can and cannot say in SQL or proving folk theorems in database theory. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 425 - [c34]Leonid Libkin, Limsoon Wong:
On the Power of Incremental Evaluation in SQL-Like Languages. DBPL 1999: 17-30 - [c33]Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong:
Logics with Aggregate Operators. LICS 1999: 35-44 - [c32]Leonid Libkin:
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. LICS 1999: 316-325 - [c31]Michael Benedikt, Leonid Libkin:
Exact and Approximate Aggregation in Constraint Query. PODS 1999: 102-113 - 1998
- [j18]Michael Benedikt, Timothy Griffin, Leonid Libkin:
Verifiable Properties of Database Transactions. Inf. Comput. 147(1): 57-88 (1998) - [j17]Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong:
Relational Expressive Power of Constraint Query Languages. J. ACM 45(1): 1-34 (1998) - [j16]Leonid Libkin:
Models of Approximation in Databases. Theor. Comput. Sci. 190(2): 167-210 (1998) - [c30]Leonid Libkin:
On Counting Logics and Local Properties. LICS 1998: 501-512 - [c29]Michael Benedikt, Leonid Libkin:
Safe Constraint Queries. PODS 1998: 99-108 - [c28]Leonid Libkin, Limsoon Wong:
Unary Quantifiers, Transitive Closure, and Relations of Large Degree. STACS 1998: 183-193 - [e1]Leonid Libkin, Bernhard Thalheim:
Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995. Lecture Notes in Computer Science 1358, Springer 1998, ISBN 3-540-64199-8 [contents] - 1997
- [j15]Leonid Libkin, Limsoon Wong:
Query Languages for Bags and Aggregate Functions. J. Comput. Syst. Sci. 55(2): 241-272 (1997) - [j14]Timothy Griffin, Leonid Libkin, Howard Trickey:
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions. IEEE Trans. Knowl. Data Eng. 9(3): 508-511 (1997) - [c27]Leonid Libkin, Limsoon Wong:
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions. DBPL 1997: 222-238 - [c26]Leonid Libkin, Limsoon Wong:
On the Power of Aggregation in Relational Query Languages. DBPL 1997: 260-280 - [c25]Leonid Libkin, Juha Nurmonen:
Counting and Locality over Finite Structures: A Survey. ESSLLI 1997: 18-50 - [c24]Guozhu Dong, Leonid Libkin, Limsoon Wong:
Local Properties of Query Languages. ICDT 1997: 140-154 - [c23]Latha S. Colby, Leonid Libkin:
Tractable Iteration Mechanisms for Bag Languages. ICDT 1997: 461-475 - [c22]Leonid Libkin:
On the Forms of Locality over Finite Models. LICS 1997: 204-215 - [c21]Michael Benedikt, Leonid Libkin:
Languages for Relational Databases over Interpreted Structures. PODS 1997: 87-98 - 1996
- [j13]Leonid Libkin, Limsoon Wong:
Semantic Representations and Query Labguages for Or-Sets. J. Comput. Syst. Sci. 52(1): 125-142 (1996) - [j12]Stéphane Grumbach, Leonid Libkin, Tova Milo, Limsoon Wong:
Query languages for bags: expressive power and complexity. SIGACT News 27(2): 30-44 (1996) - [c20]Michael Benedikt, Leonid Libkin:
On the Structure of Queries in Constraint Query Languages. LICS 1996: 25-34 - [c19]Michael Benedikt, Guozhu Dong, Leonid Libkin, Limsoon Wong:
Relational Expressive Power of Constraint Query Languages. PODS 1996: 5-16 - [c18]Michael Benedikt, Timothy Griffin, Leonid Libkin:
Verifiable Properties of Database Transactions. PODS 1996: 117-127 - [c17]Leonid Libkin, Rona Machlin, Limsoon Wong:
A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques. SIGMOD Conference 1996: 228-239 - [c16]Latha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey:
Algorithms for Deferred View Maintenance. SIGMOD Conference 1996: 469-480 - 1995
- [j11]Leonid Libkin, Vladimir Gurvich:
Trees as semilattices. Discret. Math. 145(1-3): 321-327 (1995) - [j10]Leonid Libkin, Limsoon Wong:
On Representation and Querying Incomplete Information in Databases with Bags. Inf. Process. Lett. 56(4): 209-214 (1995) - [c15]Leonid Libkin:
Query Language Primitives for Programming with Incomplete Databases. DBPL 1995: 6 - [c14]Guozhu Dong, Leonid Libkin, Limsoon Wong:
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL. DBPL 1995: 7 - [c13]Leonid Libkin:
Approximation in Databases. ICDT 1995: 411-424 - [c12]Leonid Libkin:
Normalizing Incomplete Databases. PODS 1995: 219-230 - [c11]Leonid Libkin:
A Semantics-based Approach to Design of Query Languages for Partial Information. Semantics in Databases 1995: 170-208 - [c10]Timothy Griffin, Leonid Libkin:
Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339 - [c9]Elsa L. Gunter, Leonid Libkin:
Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995: 170-185 - 1994
- [j9]Leonid Libkin, Limsoon Wong:
Conservativity of Nested Relational Calculi with Internal Generic Functions. Inf. Process. Lett. 49(6): 273-280 (1994) - [j8]Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong:
Comprehension Syntax. SIGMOD Rec. 23(1): 87-96 (1994) - [c8]Elsa L. Gunter, Leonid Libkin:
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650 - [c7]Leonid Libkin, Limsoon Wong:
New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. PODS 1994: 155-166 - 1993
- [j7]Leonid Libkin:
Direct product decompositions of lattices, closures and relation schemes. Discret. Math. 112(1-3): 119-138 (1993) - [c6]Leonid Libkin, Limsoon Wong:
Some Properties of Query Languages for Bags. DBPL 1993: 97-114 - [c5]Leonid Libkin, Limsoon Wong:
Aggregate Functions, Conservative Extensions, and Linear Orders. DBPL 1993: 282-294 - [c4]Leonid Libkin, Limsoon Wong:
Semantic Representations and Query Languages for Or-sets. PODS 1993: 37-48 - 1992
- [j6]János Demetrovics, G. Hencsey, Leonid Libkin, Ilya B. Muchnik:
On the Interaction Between Closure Operations and Choice Functions with Applications to Relational Database. Acta Cybern. 10(3): 129-139 (1992) - [j5]János Demetrovics, G. Hencsey, Leonid Libkin, Ilya B. Muchnik:
Normal Form Relation Schemes: A New Characterization. Acta Cybern. 10(3): 141-153 (1992) - [j4]János Demetrovics, Leonid Libkin, Ilya B. Muchnik:
Functional Dependencies in Relational Databases: A Lattice Point of View. Discret. Appl. Math. 40(2): 155-185 (1992) - [j3]Leonid Libkin:
An elementary proof that upper and lower powerdomain constructions commute. Bull. EATCS 48: 175-177 (1992) - 1991
- [j2]Joachim Biskup, János Demetrovics, Leonid Libkin, Ilya B. Muchnik:
On Relational Database Schemes Having Unique Minimal Key. J. Inf. Process. Cybern. 27(4): 217-225 (1991) - [c3]Leonid Libkin:
A Relational Algebra for Complex Objects Based on Partial Information. MFDBS 1991: 29-43 - [c2]Achim Jung, Leonid Libkin, Hermann Puhlmann:
Decomposition of Domains. MFPS 1991: 235-258 - 1990
- [j1]Georg Gottlob, Leonid Libkin:
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. 9(4): 385-402 (1990)
1980 – 1989
- 1989
- [c1]János Demetrovics, Leonid Libkin, Ilya B. Muchnik:
Functional Dependencies and the Semilattice of Closed Classes. MFDBS 1989: 136-147
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
