| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Leonid Libkin Leonid Libkin: Locality of Queries and Transformations. Electr. Notes Theor. Comput. Sci. 143 : 115-127 (2006) Thomas Eiter , Leonid Libkin: Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings Springer 2005 Leonid Libkin: Logics for Unranked Trees: An Overview. ICALP 2005 : 35-50 Marcelo Arenas , Wenfei Fan , Leonid Libkin: Consistency of XML Specifications. Inconsistency Tolerance 2005 : 15-41 Pablo Barceló , Leonid Libkin: Temporal Logics over Unranked Trees. LICS 2005 : 31-40 Marcelo Arenas , Leonid Libkin: XML data exchange: consistency and query answering. PODS 2005 : 13-24 Marcelo Arenas , Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52 (2): 246-283 (2005) Leonid Libkin: Elements of Finite Model Theory Springer 2004 Marcelo Arenas , Pablo Barceló , Leonid Libkin: Game-Based Notions of Locality Over Finite Models. CSL 2004 : 175-189 Denilson Barbosa , Alberto O. Mendelzon , Leonid Libkin, Laurent Mignet , Marcelo Arenas : Efficient Incremental Validation of XML Documents. ICDE 2004 : 671-682 Marcelo Arenas , Pablo Barceló , Ronald Fagin , Leonid Libkin: Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004 : 229-240 Marcelo Arenas , Leonid Libkin: A normal form for XML documents. ACM Trans. Database Syst. 29 : 195-232 (2004) Leonid Libkin, Frank Neven : Logical Definability and Query Languages over Unranked Trees. LICS 2003 : 178-187 Marcelo Arenas , Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. PODS 2003 : 15-26 Leonid Libkin: Variable independence for first-order definable constraints. ACM Trans. Comput. Log. 4 (4): 431-451 (2003) Guozhu Dong , Leonid Libkin, Limsoon Wong : Incremental recomputation in local languages. Inf. Comput. 181 (2): 88-98 (2003) Leonid Libkin: A collapse result for constraint queries over structures of small degree. Inf. Process. Lett. 86 (5): 277-281 (2003) Michael Benedikt , Leonid Libkin, Thomas Schwentick , Luc Segoufin : Definable relations and first-order query languages over strings. J. ACM 50 (5): 694-751 (2003) Michael Benedikt , Martin Grohe , Leonid Libkin, Luc Segoufin : Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci. 66 (1): 169-206 (2003) Leonid Libkin: Expressive power of SQL. Theor. Comput. Sci. 3 (296): 379-404 (2003) Marcelo Arenas , Wenfei Fan , Leonid Libkin: What's Hard about XML Schema Constraints? DEXA 2002 : 269-278 Michael Benedikt , Leonid Libkin: Tree Extension Algebras: Logics, Automata, and Query Languages. LICS 2002 : 203- Marcelo Arenas , Wenfei Fan , Leonid Libkin: On Verifying Consistency of XML Specifications. PODS 2002 : 259-270 Marcelo Arenas , Leonid Libkin: A Normal Form for XML Documents. PODS 2002 : 85-96 Martín Abadi , Leonid Libkin, Frank Pfenning : Editorial. ACM Trans. Comput. Log. 3 (3): 335-335 (2002) Wenfei Fan , Leonid Libkin: On XML integrity constraints in the presence of DTDs. J. ACM 49 (3): 368-406 (2002) Michael Benedikt , Leonid Libkin: Aggregate Operators in Constraint Query Languages. J. Comput. Syst. Sci. 64 (3): 628-654 (2002) Leonid Libkin, Limsoon Wong : Lower bounds for invariant queries in logics with counting. Theor. Comput. Sci. 288 (1): 153-180 (2002) Leonid Libkin: Expressive Power of SQL. ICDT 2001 : 1-21 Michael Benedikt , Leonid Libkin, Thomas Schwentick , Luc Segoufin : A Model-Theoretic Approach to Regular String Relations. LICS 2001 : 431- Wenfei Fan , Leonid Libkin: On XML Integrity Constraints in the Presence of DTDs. PODS 2001 Michael Benedikt , Leonid Libkin, Thomas Schwentick , Luc Segoufin : String Operations in Query Languages. PODS 2001 Leonid Libkin: Logics capturing local properties. ACM Trans. Comput. Log. 2 (1): 135-153 (2001) Stavros S. Cosmadakis , Gabriel M. Kuper , Leonid Libkin: On the orthographic dimension of definable sets. Inf. Process. Lett. 79 (3): 141-145 (2001) Lauri Hella , Leonid Libkin, Juha Nurmonen , Limsoon Wong : Logics with aggregate operators. J. ACM 48 (4): 880-907 (2001) 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) Gabriel M. Kuper , Leonid Libkin, Jan Paredaens : Constraint Databases Springer 2000 Gabriel M. Kuper , Leonid Libkin, Jan Paredaens : Introduction. Constraint Databases 2000 : 1-16 Michael Benedikt , Leonid Libkin: Query Safety with Constraints. Constraint Databases 2000 : 109-129 Jan Chomicki , Leonid Libkin: Aggregate Languages for Constraint Databases. Constraint Databases 2000 : 131-154 Michael Benedikt , Leonid Libkin: Expressive Power: The Finite Case. Constraint Databases 2000 : 55-87 Leonid Libkin: Variable Independence, Quantifier Elimination, and Constraint Representations. ICALP 2000 : 260-271 Michael Benedikt , Martin Grohe , Leonid Libkin, Luc Segoufin : Reachability and Connectivity Queries in Constraint Databases. PODS 2000 : 104-115 Leonid Libkin: Logics Capturing Local Properties. STACS 2000 : 217-229 Leonid Libkin: Logics with counting and local properties. ACM Trans. Comput. Log. 1 (1): 33-59 (2000) Michael Benedikt , Leonid Libkin: Relational queries over interpreted structures. J. ACM 47 (4): 644-680 (2000) Michael Benedikt , Leonid Libkin: Safe Constraint Queries. SIAM J. Comput. 29 (5): 1652-1682 (2000) Guozhu Dong , Leonid Libkin, Limsoon Wong : Local properties of query languages. Theor. Comput. Sci. 239 (2): 277-308 (2000) Leonid Libkin, Limsoon Wong : On the Power of Incremental Evaluation in SQL-Like Languages. DBPL 1999 : 17-30 Leonid Libkin: Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries. LICS 1999 : 316-325 Lauri Hella , Leonid Libkin, Juha Nurmonen , Limsoon Wong : Logics with Aggregate Operators. LICS 1999 : 35-44 Michael Benedikt , Leonid Libkin: Exact and Approximate Aggregation in Constraint Query. PODS 1999 : 102-113 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 Lauri Hella , Leonid Libkin, Juha Nurmonen : Notions of Locality and Their Logical Characterizations over Finite Models. J. Symb. Log. 64 (4): 1751-1773 (1999) Leonid Libkin: Some Remarks on Variable Independence, Closure, and Orthographic Dimension in Constraint Databases. SIGMOD Record 28 (4): 24-28 (1999) Leonid Libkin: Database Principles Column - Introduction. SIGMOD Record 28 (4): 29 (1999) Leonid Libkin, Bernhard Thalheim : Semantics in Databases, Selected Papers from a Workshop, Prague, Czech Republic, 1995 Springer 1998 Leonid Libkin: On Counting Logics and Local Properties. LICS 1998 : 501-512 Michael Benedikt , Leonid Libkin: Safe Constraint Queries. PODS 1998 : 99-108 Leonid Libkin, Limsoon Wong : Unary Quantifiers, Transitive Closure, and Relations of Large Degree. STACS 1998 : 183-193 Michael Benedikt , Timothy Griffin , Leonid Libkin: Verifiable Properties of Database Transactions. Inf. Comput. 147 (1): 57-88 (1998) Michael Benedikt , Guozhu Dong , Leonid Libkin, Limsoon Wong : Relational Expressive Power of Constraint Query Languages. J. ACM 45 (1): 1-34 (1998) Leonid Libkin: Models of Approximation in Databases. Theor. Comput. Sci. 190 (2): 167-210 (1998) Leonid Libkin, Limsoon Wong : Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions. DBPL 1997 : 222-238 Leonid Libkin, Limsoon Wong : On the Power of Aggregation in Relational Query Languages. DBPL 1997 : 260-280 Leonid Libkin, Juha Nurmonen : Counting and Locality over Finite Structures: A Survey. ESSLLI 1997 : 18-50 Guozhu Dong , Leonid Libkin, Limsoon Wong : Local Properties of Query Languages. ICDT 1997 : 140-154 Latha S. Colby , Leonid Libkin: Tractable Iteration Mechanisms for Bag Languages. ICDT 1997 : 461-475 Leonid Libkin: On the Forms of Locality over Finite Models. LICS 1997 : 204-215 Michael Benedikt , Leonid Libkin: Languages for Relational Databases over Interpreted Structures. PODS 1997 : 87-98 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) Leonid Libkin, Limsoon Wong : Query Languages for Bags and Aggregate Functions. J. Comput. Syst. Sci. 55 (2): 241-272 (1997) Michael Benedikt , Leonid Libkin: On the Structure of Queries in Constraint Query Languages. LICS 1996 : 25-34 Michael Benedikt , Timothy Griffin , Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996 : 117-127 Michael Benedikt , Guozhu Dong , Leonid Libkin, Limsoon Wong : Relational Expressive Power of Constraint Query Languages. PODS 1996 : 5-16 Leonid Libkin, Rona Machlin , Limsoon Wong : A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques. SIGMOD Conference 1996 : 228-239 Latha S. Colby , Timothy Griffin , Leonid Libkin, Inderpal Singh Mumick , Howard Trickey : Algorithms for Deferred View Maintenance. SIGMOD Conference 1996 : 469-480 Leonid Libkin, Limsoon Wong : Semantic Representations and Query Labguages for Or-Sets. J. Comput. Syst. Sci. 52 (1): 125-142 (1996) Leonid Libkin: Query Language Primitives for Programming with Incomplete Databases. DBPL 1995 : 6 Guozhu Dong , Leonid Libkin, Limsoon Wong : On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL. DBPL 1995 : 7 Leonid Libkin: Approximation in Databases. ICDT 1995 : 411-424 Leonid Libkin: Normalizing Incomplete Databases. PODS 1995 : 219-230 Timothy Griffin , Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995 : 328-339 Leonid Libkin: A Semantics-based Approach to Design of Query Languages for Partial Information. Semantics in Databases 1995 : 170-208 Elsa L. Gunter , Leonid Libkin: Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995 : 170-185 Leonid Libkin, Limsoon Wong : On Representation and Querying Incomplete Information in Databases with Bags. Inf. Process. Lett. 56 (4): 209-214 (1995) Elsa L. Gunter , Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994 : 641-650 Leonid Libkin, Limsoon Wong : New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. PODS 1994 : 155-166 Leonid Libkin, Limsoon Wong : Conservativity of Nested Relational Calculi with Internal Generic Functions. Inf. Process. Lett. 49 (6): 273-280 (1994) Peter Buneman , Leonid Libkin, Dan Suciu , Val Tannen , Limsoon Wong : Comprehension Syntax. SIGMOD Record 23 (1): 87-96 (1994) Leonid Libkin, Limsoon Wong : Aggregate Functions, Conservative Extensions, and Linear Orders. DBPL 1993 : 282-294 Leonid Libkin, Limsoon Wong : Some Properties of Query Languages for Bags. DBPL 1993 : 97-114 Leonid Libkin, Limsoon Wong : Semantic Representations and Query Languages for Or-sets. PODS 1993 : 37-48 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-140 (1992) János Demetrovics , G. Hencsey , Leonid Libkin, Ilya B. Muchnik : Normal Form Relation Schemes: A New Characterization. Acta Cybern. 10 (3): 141-164 (1992) Leonid Libkin: An elementary proof that upper and lower powerdomain constructions commute. Bulletin of the EATCS 48 : 175-177 (1992) 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) Leonid Libkin: A Relational Algebra for Complex Objects Based on Partial Information. MFDBS 1991 : 29-43 Achim Jung , Leonid Libkin, Hermann Puhlmann : Decomposition of Domains. MFPS 1991 : 235-258 Joachim Biskup , János Demetrovics , Leonid Libkin, Ilya B. Muchnik : On Relational Database Schemes Having Unique Minimal Key. Elektronische Informationsverarbeitung und Kybernetik 27 (4): 217-225 (1991) Georg Gottlob , Leonid Libkin: Investigation on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. 9 (4): 385-402 (1990) János Demetrovics , Leonid Libkin, Ilya B. Muchnik : Functional Dependencies and the Semilattice of Closed Classes. MFDBS 1989 : 136-147 1 [ 78 ] 2 [ 79 ] [ 80 ] [ 82 ] [ 89 ] [ 91 ] [ 92 ] [ 93 ] [ 94 ] [ 96 ] [ 97 ] [ 99 ] 3 [ 93 ] 4 [ 92 ] [ 94 ] [ 98 ] 5 [ 28 ] [ 29 ] [ 30 ] [ 33 ] [ 41 ] [ 42 ] [ 44 ] [ 51 ] [ 56 ] [ 57 ] [ 60 ] [ 62 ] [ 64 ] [ 71 ] [ 73 ] [ 76 ] [ 81 ] [ 84 ] [ 85 ] 6 [ 3 ] 7 [ 13 ] 8 [ 67 ] 9 [ 63 ] 10 [ 26 ] [ 35 ] 11 [ 69 ] 12 [ 1 ] [ 3 ] [ 6 ] [ 8 ] [ 9 ] 13 [ 23 ] [ 28 ] [ 36 ] [ 41 ] [ 55 ] [ 87 ] 14 [ 101 ] 15 [ 92 ] 16 [ 72 ] [ 77 ] [ 80 ] [ 82 ] [ 99 ] 17 [ 2 ] 18 [ 67 ] 19 [ 20 ] [ 26 ] [ 29 ] [ 32 ] [ 42 ] 20 [ 60 ] [ 84 ] 21 [ 16 ] [ 18 ] 22 [ 49 ] [ 52 ] [ 68 ] 23 [ 8 ] [ 9 ] 24 [ 4 ] 25 [ 65 ] [ 66 ] [ 69 ] 26 [ 67 ] 27 [ 27 ] 28 [ 93 ] 29 [ 93 ] 30 [ 67 ] 31 [ 1 ] [ 3 ] [ 6 ] [ 8 ] [ 9 ] 32 [ 26 ] 33 [ 90 ] 34 [ 37 ] [ 49 ] [ 52 ] [ 68 ] 35 [ 65 ] [ 66 ] 36 [ 78 ] 37 [ 4 ] 38 [ 67 ] 39 [ 71 ] [ 73 ] [ 85 ] 40 [ 60 ] [ 71 ] [ 73 ] [ 84 ] [ 85 ] 41 [ 13 ] 42 [ 13 ] 43 [ 46 ] 44 [ 26 ] [ 32 ] 45 [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 17 ] [ 23 ] [ 25 ] [ 27 ] [ 28 ] [ 31 ] [ 36 ] [ 38 ] [ 39 ] [ 41 ] [ 43 ] [ 52 ] [ 54 ] [ 55 ] [ 68 ] [ 75 ] [ 87 ]  ©2006 Association for Computing Machinery |
