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