| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Leonid Libkin 72 Marcelo Arenas , Wenfei Fan , Leonid Libkin: On Verifying Consistency of XML Specifications. PODS 2002 : 259-270 71 Marcelo Arenas , Leonid Libkin: A Normal Form for XML Documents. PODS 2002 : 85-96 70 Michael Benedikt , Leonid Libkin: Aggregate Operators in Constraint Query Languages. JCSS 64 (3): 628-654 (2002) 69 Martín Abadi , Leonid Libkin, Frank Pfenning : Editorial. TOCL 3 (3): 335-335 (2002) 68 Leonid Libkin: Expressive Power of SQL. ICDT 2001 : 1-21 67 Michael Benedikt , Leonid Libkin, Thomas Schwentick , Luc Segoufin : A Model-Theoretic Approach to Regular String Relations. LICS 2001 : 431- 66 Wenfei Fan , Leonid Libkin: On XML Integrity Constraints in the Presence of DTDs. PODS 2001 65 Michael Benedikt , Leonid Libkin, Thomas Schwentick , Luc Segoufin : String Operations in Query Languages. PODS 2001 64 Stavros S. Cosmadakis , Gabriel M. Kuper , Leonid Libkin: On the orthographic dimension of definable sets. Information Processing Letters 79 (3): 141-145 (2001) 63 Lauri Hella , Leonid Libkin, Juha Nurmonen , Limsoon Wong : Logics with aggregate operators. JACM 48 (4): 880-907 (2001) 62 Kenneth A. Ross , Stefano Ceri , Luis Gravano , Per-Åke Larson , Leonid Libkin, Tova Milo : Reminiscences on Influential Papers. SIGMOD Record 30 (1): 55-57 (2001) 61 Leonid Libkin: Logics capturing local properties. TOCL 2 (1): 135-153 (2001) 60 Gabriel M. Kuper , Leonid Libkin, Jan Paredaens : Introduction. Constraint Databases 2000 : 1-16 59 Michael Benedikt , Leonid Libkin: Query Safety with Constraints. Constraint Databases 2000 : 109-129 58 Jan Chomicki , Leonid Libkin: Aggregate Languages for Constraint Databases. Constraint Databases 2000 : 131-154 57 Michael Benedikt , Leonid Libkin: Expressive Power: The Finite Case. Constraint Databases 2000 : 55-87 56 Leonid Libkin: Variable Independence, Quantifier Elimination, and Constraint Representations. ICALP 2000 : 260-271 55 Michael Benedikt , Martin Grohe , Leonid Libkin, Luc Segoufin : Reachability and Connectivity Queries in Constraint Databases. PODS 2000 : 104-115 54 Leonid Libkin: Logics Capturing Local Properties. STACS 2000 : 217-229 53 Michael Benedikt , Leonid Libkin: Relational queries over interpreted structures. JACM 47 (4): 644-680 (2000) 52 Michael Benedikt , Leonid Libkin: Safe Constraint Queries. SIAM J. Comput. 29 (5): 1652-1682 (2000) 51 Guozhu Dong , Leonid Libkin, Limsoon Wong : Local properties of query languages. TCS 239 (2): 277-308 (2000) 50 Leonid Libkin: Logics with counting and local properties. TOCL 1 (1): 33-59 (2000) 49 Leonid Libkin, Limsoon Wong : On the Power of Incremental Evaluation in SQL-Like Languages. DBPL 1999 : 17-30 48 Leonid Libkin: Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. LICS 1999 : 316-325 47 Lauri Hella , Leonid Libkin, Juha Nurmonen , Limsoon Wong : Logics with Aggregate Operators. LICS 1999 : 35-44 46 Michael Benedikt , Leonid Libkin: Exact and Approximate Aggregation in Constraint Query. PODS 1999 : 102-113 45 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 44 Leonid Libkin: Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases. SIGMOD Record 28 (4): 24-28 (1999) 43 Leonid Libkin: Database Principles Column - Introduction. SIGMOD Record 28 (4): 29 (1999) 42 Leonid Libkin: On Counting Logics and Local Properties. LICS 1998 : 501-512 41 Michael Benedikt , Leonid Libkin: Safe Constraint Queries. PODS 1998 : 99-108 40 Leonid Libkin, Limsoon Wong : Unary Quantifiers, Transitive Closure, and Relations of Large Degree. STACS 1998 : 183-193 39 Michael Benedikt , Timothy Griffin , Leonid Libkin: Verifiable Properties of Database Transactions. Information and Computation 147 (1): 57-88 (1998) 38 Michael Benedikt , Guozhu Dong , Leonid Libkin, Limsoon Wong : Relational Expressive Power of Constraint Query Languages. JACM 45 (1): 1-34 (1998) 37 Leonid Libkin: Models of Approximation in Databases. TCS 190 (2): 167-210 (1998) 36 Leonid Libkin, Limsoon Wong : Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions. DBPL 1997 : 222-238 35 Leonid Libkin, Limsoon Wong : On the Power of Aggregation in Relational Query Languages. DBPL 1997 : 260-280 34 Leonid Libkin, Juha Nurmonen : Counting and Locality over Finite Structures: A Survey. ESSLLI 1997 : 18-50 33 Guozhu Dong , Leonid Libkin, Limsoon Wong : Local Properties of Query Languages. ICDT 1997 : 140-154 32 Latha S. Colby , Leonid Libkin: Tractable Iteration Mechanisms for Bag Languages. ICDT 1997 : 461-475 31 Leonid Libkin: On the Forms of Locality over Finite Models. LICS 1997 : 204-215 30 Michael Benedikt , Leonid Libkin: Languages for Relational Databases over Interpreted Structures. PODS 1997 : 87-98 29 Leonid Libkin, Limsoon Wong : Query Languages for Bags and Aggregate Functions. JCSS 55 (2): 241-272 (1997) 28 Timothy Griffin , Leonid Libkin, Howard Trickey : An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions. TKDE 9 (3): 508-511 (1997) 27 Michael Benedikt , Leonid Libkin: On the Structure of Queries in Constraint Query Languages. LICS 1996 : 25-34 26 Michael Benedikt , Timothy Griffin , Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996 : 117-127 25 Michael Benedikt , Guozhu Dong , Leonid Libkin, Limsoon Wong : Relational Expressive Power of Constraint Query Languages. PODS 1996 : 5-16 24 Leonid Libkin, Rona Machlin , Limsoon Wong : A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques. SIGMOD Conference 1996 : 228-239 23 Latha S. Colby , Timothy Griffin , Leonid Libkin, Inderpal Singh Mumick , Howard Trickey : Algorithms for Deferred View Maintenance. SIGMOD Conference 1996 : 469-480 22 Leonid Libkin, Limsoon Wong : Semantic Representations and Query Labguages for Or-Sets. JCSS 52 (1): 125-142 (1996) 21 Leonid Libkin: Query Language Primitives for Programming with Incomplete Databases. DBPL 1995 : 6 20 Guozhu Dong , Leonid Libkin, Limsoon Wong : On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL. DBPL 1995 : 7 19 Leonid Libkin: Approximation in Databases. ICDT 1995 : 411-424 18 Leonid Libkin: Normalizing Incomplete Databases. PODS 1995 : 219-230 17 Timothy Griffin , Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995 : 328-339 16 Leonid Libkin: A Semantics-based Approach to Design of Query Languages for Partial Information. Semantics in Databases 1995 : 170-208 15 Elsa L. Gunter , Leonid Libkin: Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995 : 170-185 14 Leonid Libkin, Limsoon Wong : On Representation and Querying Incomplete Information in Databases with Bags. Information Processing Letters 56 (4): 209-214 (1995) 13 Elsa L. Gunter , Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994 : 641-650 12 Leonid Libkin, Limsoon Wong : New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. PODS 1994 : 155-166 11 Leonid Libkin, Limsoon Wong : Conservativity of Nested Relational Calculi with Internal Generic Functions. Information Processing Letters 49 (6): 273-280 (1994) 10 Peter Buneman , Leonid Libkin, Dan Suciu , Val Tannen , Limsoon Wong : Comprehension Syntax. SIGMOD Record 23 (1): 87-96 (1994) 9 Leonid Libkin, Limsoon Wong : Aggregate Functions, Conservative Extensions, and Linear Orders. DBPL 1993 : 282-294 8 Leonid Libkin, Limsoon Wong : Some Properties of Query Languages for Bags. DBPL 1993 : 97-114 7 Leonid Libkin, Limsoon Wong : Semantic Representations and Query Languages for Or-sets. PODS 1993 : 37-48 6 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 Cybernetica 10 (3): 129-140 (1992) 5 János Demetrovics , G. Hencsey , Leonid Libkin, Ilya B. Muchnik : Normal Form Relation Schemes: A New Characterization. Acta Cybernetica 10 (3): 141-164 (1992) 4 János Demetrovics , Leonid Libkin, Ilya B. Muchnik : Functional Dependencies in Relational Databases: A Lattice Point of View. Discrete Applied Mathematics 40 (2): 155-185 (1992) 3 Leonid Libkin: A Relational Algebra for Complex Objects Based on Partial Information. MFDBS 1991 : 29-43 2 Achim Jung , Leonid Libkin, Hermann Puhlmann : Decomposition of Domains. MFPS 1991 : 235-258 1 János Demetrovics , Leonid Libkin, Ilya B. Muchnik : Functional Dependencies and the Semilattice of Closed Classes. MFDBS 1989 : 136-147  DiSC'02 © 2003 Association for Computing Machinery |
