| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Foto N. Afrati, Sara Cohen, Gabriel M. Kuper |
On the complexity of tree pattern containment with arithmetic comparisons.  |
Inf. Process. Lett.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko |
Generalized XML security views.  |
Int. J. Inf. Sec.  |
2009 |
DBLP DOI BibTeX RDF |
Security view, Authorized view, XML, XPath, Materialization |
| 1 | Gabriel M. Kuper, Jianwen Su |
A representation independent language for planar spatial databases with Euclidean distance.  |
J. Comput. Syst. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens, Luc Vandeurzen |
First-Order Languages Expressing Constructible Spatial Database Queries.  |
SIAM J. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Wenfei Fan, Gabriel M. Kuper |
Structural properties of XPath fragments.  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bouquet, Gabriel M. Kuper, Stefano Zanobini |
Asking and Answering Queries Semantically.  |
WOA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Fabio Massacci, Nataliya Rassadko |
Generalized XML security views.  |
SACMAT  |
2005 |
DBLP DOI BibTeX RDF |
XPath, XML views, XML access control |
| 1 | Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu |
A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks.  |
EDBT Workshops  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu |
The coDB Robust Peer-to-Peer Database System.  |
SEBD  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Ilya Zaihrayeu |
Queries and Updates in the coDB Peer to Peer Database System.  |
VLDB  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman |
Variable Independence in Constraint Databases.  |
IEEE Trans. Knowl. Data Eng.  |
2003 |
DBLP DOI BibTeX RDF |
aggregation, integrity constraints, closure, spatiotemporal databases, Constraint databases |
| 1 | Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini |
A Robust and Computational Characterisation of Peer-to-Peer Database Systems  |
CoRR  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenko, Luciano Serafini |
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems.  |
DBISP2P  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Wenfei Fan, Gabriel M. Kuper |
Structural Properties of XPath Fragments.  |
ICDT  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Gabriel M. Kuper, Alexander A. Shvartsman, Moshe Y. Vardi |
In Memoriam: Paris C. Kanellakis.  |
PCK50  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon |
A unified constraint model for XML.  |
Computer Networks  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros S. Cosmadakis, Gabriel M. Kuper, Leonid Libkin |
On the orthographic dimension of definable sets.  |
Inf. Process. Lett.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenfei Fan, Gabriel M. Kuper, Jérôme Siméon |
A unified constraint model for XML.  |
WWW  |
2001 |
DBLP DOI BibTeX RDF |
XML, XML, XML schema, integrity constraints, subtyping, keys, constraint reasoning, object identity |
| 1 | Gabriel M. Kuper, Jérôme Siméon |
Subsumption for XML types.  |
ICDT  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Leonid Libkin, Jan Paredaens (eds.) |
Constraint Databases  |
|
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Michel Scholl |
Geographic Information Systems.  |
Constraint Databases  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su |
Expressive Power: The Infinite Case.  |
Constraint Databases  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Leonid Libkin, Jan Paredaens |
Introduction.  |
Constraint Databases  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens |
Euclidean Query Languages.  |
Constraint Databases  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Jianwen Su |
A Representation Independent Language for Planar Spatial Databases with Euclidean Distance.  |
DBPL  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Sridhar Ramaswamy, Kyuseok Shim, Jianwen Su |
A Constraint-Based Spatial Extension to SQL.  |
ACM-GIS  |
1998 |
DBLP DOI BibTeX RDF |
SQL |
| 1 | Jan Paredaens, Bart Kuijpers, Gabriel M. Kuper, Luc Vandeurzen |
Eucil, Tarski, and Engler Encompassed (Preliminary Report).  |
DBPL  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Haunold, Stéphane Grumbach, Gabriel M. Kuper, Zoé Lacroix |
Linear Constraints: Geometric Objects Represented by Inequalities.  |
COSIT  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Grumbach, Gabriel M. Kuper |
Tractable Recursion over Geometric Data.  |
CP  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Gabriel M. Kuper, Harry G. Mairson, Alexander A. Shvartsman, Moshe Y. Vardi |
In Memoriam Paris C. Kanellakis.  |
ACM Comput. Surv.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Mark Wallace (eds.) |
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings  |
CDB  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper |
Variable Independence and Aggregation Closure.  |
PODS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul, Gabriel M. Kuper, Christos H. Papadimitriou, Moshe Y. Vardi |
In Memoriam: Paris C. Kanellakis.  |
PODS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz |
Constraint Query Languages.  |
J. Comput. Syst. Sci.  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Hermosilla, Gabriel M. Kuper |
Towards the Definition of a Spatial Object-Oriented Data Model with Constraints.  |
CDB  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Chomicki, Gabriel M. Kuper |
Measuring Infinite Relations.  |
PODS  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Foto N. Afrati, Stavros S. Cosmadakis, Stéphane Grumbach, Gabriel M. Kuper |
Linear vs Polynomial Constraints in Database Query Languages.  |
PPCP  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Moshe Y. Vardi |
On the Complexity of Queries in the Logical Data Model.  |
Theor. Comput. Sci.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Moshe Y. Vardi |
The Logical Data Model.  |
ACM Trans. Database Syst.  |
1993 |
DBLP DOI BibTeX RDF |
tuple calculus, relational database, logic, Algebra, database schema |
| 1 | Gabriel M. Kuper |
Aggregation in Constraint Databases.  |
PPCP  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry |
A Note on the Parallel Complexity of Anti-Unification.  |
J. Autom. Reasoning  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper |
Logic Programming with Sets.  |
J. Comput. Syst. Sci.  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper |
On The Expressive Power of the Relational Calculus with Arithmetic Constraints.  |
ICDT  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz |
Constraint Query Languages.  |
PODS  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Moshe Y. Vardi |
On the Complexity of Queries in the Logical Data Model (Extended Abstract).  |
ICDT  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry |
Efficient Parallel Algorithms for Anti-Unification and Relative Complement  |
LICS  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper |
On the Expressive Power of Logic Programming Languages with Sets.  |
PODS  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper |
Logic Programming With Sets.  |
PODS  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi |
Updating Logical Databases.  |
Advances in Computing Research  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper |
Logic Programming with Sets.  |
XP7.52 Workshop on Database Theory  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Moshe Y. Vardi |
On the Expressive Power of the Logical Data Model (Preliminary Report).  |
SIGMOD Conference  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry F. Korth, Gabriel M. Kuper, Joan Feigenbaum, Allen Van Gelder, Jeffrey D. Ullman |
System/U: A Database System Based on the Universal Relation Assumption.  |
ACM Trans. Database Syst.  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Moshe Y. Vardi |
A New Approach to Database Logic.  |
PODS  |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi |
On the Equivalence of Logical Databases.  |
PODS  |
1984 |
DBLP DOI BibTeX RDF |
|