sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:000000011750852X | 1 hits
Person
ISNI: 
0000 0001 2439 9632
Name: 
Leonid Libkin
Leonid Libkin (Amerikaans informaticus)
Leonid Libkin (computer scientist)
Libkin, L.
Libkin, Leonid
Dates: 
1965-
Creation class: 
article
Computer file
Language material
text
txt
Creation role: 
author
editor
redactor
Related names: 
Arenas, Marcelo
Eiter, Thomas (1966-)
Graduate School of Arts and Sciences, University of Pennsylvania
Kohlenbach, Ulrich
Kuper, Gabriel
Paredaens, Jan (1947-....))
Queiroz, Ruy de
Thalheim, B. (1952-)
Thalheim, Bernhard
Thalheim, Bernhard (1952-)
University of Edinburgh
Titles: 
Aspects of partial information in databases
collapse result for constraint queries over structures of small degree, A
Comprehension syntax
Conservativity of nested relational calculi with internal generic functions
Constraint databases
Data exchange and incomplete information
Database theory : ICDT 2005 : 10th international conference, Edinburgh, UK, January 5-7, 2005 : proceedings
Definable relations and first-order query languages over strings
Elements of finite model theory
Exact and approximate aggregation in constraint query languages
Expressive power of SQL.
Foundations of data exchange
improved algorithm for the incremental recomputation of active relational expressions, An
Incremental maintenance of views with duplicates
information-theoretic approach to normal forms for relational and XML data., An
Languages for relational databases over interpreted structures
Locally consistent transformations and query answering in data exchange
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
Logical definability and query languages over ranked and unranked trees
Logics capturing local properties
Logics with counting and local properties
Logics with counting, auxiliary relations, and lower bounds for invariant queries
Lower bounds for invariant queries in logics with counting
model-theoretic approach to regular string relations, A
New techniques for studying set languages, bag languages and aggregate functions
normal form for XML documents, A
On redundancy vs dependency preservation in normalization:an information-theoretic study of 3NF
On representation and querying incomplete information in databases with bags
On the orthographic dimension of definable sets
On the structure of queries in constraint query languages
On verifying consistency of XML specifications
On XML integrity constraints in the presence of DTDs
query language for multidimensional arrays:design, implementation, and optimization techniques, A
Query languages for bags and aggregate functions
Query languages for bags:expressive power and complexity
Query languages with arithmetic and constraint databases
Reachability and connectivity queries in constraint databases
Relational expressive power of constraint query languages
Relational queries over interpreted structures
Safe constraint queries
Semantic representations and query languages for or-sets
Semantics in databases, c1998:
Some remarks on variable independence, closure, and orthographic dimension in constraint databases
String operations in query languages
Tree extension algebras: Logics, automata, and query languages
Variable independence for first-order definable constraints
Variable Independence, Quantifier Elimination, and Constraint Representations
Verifiable properties of database transactions
XML data exchange:consistency and query answering
Contributed to or performed: 
INFORMATION PROCESSING LETTERS
LECTURE NOTES IN COMPUTER SCIENCE
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-
Notes: 
Thesis (Ph.D. in Computer and Information Science) -- Graduate School of Arts and Sciences, University of Pennsylvania, 1994
Sources: 
VIAF LAC LC NKC NLP NUKAT SUDOC WKD
BOWKER
JNAM
NTA
ZETO