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