|
СТ |
What s Hard about XML Schema Constraints? |
2002 |
Arenas M., Fan W., Libkin L. |
|
|
|
Lecture Notes in Computer Science |
02.10.2002 |
|
СТ |
On the Power Incremental Evaluation in SQL-like Languages |
2000 |
Libkin L., Wong L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.02.2001 |
|
СТ |
Expressive Power of SQL |
2000 |
Libkin L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.2001 |
|
СТ |
Some Remarks on Variable Indenpendence, Closure, and Orthographic Dimension in Constraint Databases |
1999 |
Libkin L. |
|
|
|
SIGMOD Record |
28.02.2000 |
|
СТ |
Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions |
1998 |
Libkin L., Wong L. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
|
СТ |
On the Power of Aggregation in Relational Query Languages |
1998 |
Libkin L., Wong L. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
|
СТ |
A Semantics-Based Approach to Design of Query Languages for Partial Information |
1998 |
Libkin L. |
|
|
|
Lecture Notes in Computer Science |
25.03.1998 |
|
СТ |
Local Properties of Query Languages |
1997 |
Dong G., Libkin L., Wong L. |
|
|
|
Lecture Notes in Computer Science |
10.01.1997 |
|
СТ |
Interfacing HOL90 with a Functional Database Query Language |
1995 |
Gunter E. L., Libkin L. |
Lecture Notes in Computer Science |
|
|
Higher Order Logic Theorem Proving and Its Applications |
28.09.1995 |
|
СТ |
Approximation in Databases |
1995 |
Libkin L. |
|
|
|
Lecture Notes in Computer Science |
21.02.1995 |
|
СТ |
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications |
1994 |
Gunter E., Libkin L. |
|
|
|
Lecture Notes in Computer Science |
28.09.1994 |
|
СТ |
Comprehension Syntax |
1994 |
Buneman P., Libkin L., Suciu D., Tannen V., Wong L. |
|
|
|
SIGMOD Record |
18.04.1994 |
