Précédent : Animations Scientifiques Remonter :
Projet
VERSO Suivant : Abstract
- Thèses
- 1
- V. CHRISTOPHIDES, Documents
Structurés et Bases de Données Objet, thèse de doctorat,
CNAM-Paris, Octobre 1996.
- 2
- Z. LACROIX,
Bases de Données: des Relations Implicites aux Relations
Contraintes., thèse de doctorat, Université Paris-Sud,
Juin 1996.
- Articles
- 3
- S. ABITEBOUL,
G. M. KUPER,
H. G. MAIRSON,
A. A. SHVARTSMAN,
M. Y. VARDI, ``In
Memoriam: Paris C. Kanellakis'', ACM Computing
Surveys, 1996.
- 4
- S. ABITEBOUL,
M. VARDI,
V. VIANU, ``Fixpoint
Logics, Relational Machines, and Computational Complexity'',
Journal of the Association for Computing Machinary, à
paraître.
- 5
- S. GRUMBACH,
Z. LACROIX,
``Non-deterministic Machines and Languages'', Annals of
Mathematics and Artificial Intelligence, papier invité, à
paraître.
- 6
- S. GRUMBACH,
L. LIBKIN,
T. MILO,
L. WONG, ``Query
Languages for Bags: Expressive Power and Complexity'',
Sigact News 27, 2, june 1996, p. 30-37.
- 7
- S. GRUMBACH,
T. MILO, ``Towards
Tractable Algebras for Bags'', Journal of Computer and
System Sciences 52, 3, june 1996, p. 570-588.
- 8
- S. GRUMBACH,
J. SU, ``Finitely
representable Databases'', Journal of Computer and System
Sciences, papier invité.
- 9
- S. GRUMBACH,
J. SU, ``Queries
with Arithmetical Constraints'', Theoretical Computer
Science 173, 1997, Invited to a special issue.
- 10
- S. LIFSCHITZ,
V. VIANU, ``A
Probabilistic Approach to Datalog Parallelization'',
Theoretical Computer Science, papier invité, à
paraître.
- 11
- P. PICOUET,
V. VIANU,
``Semantics and Expressiveness Issues in Active Databases'',
Journal of Computer and System Sciences, papier
invité, à paraître.
- 12
- V. VIANU,
``Databases and Finite-Model Theory'', DIMACS Series of the
American Mathematical Society, papier invité, à
paraître.
- 13
- V. VIANU,
``Rule-Based Languages'', Annals of Mathematics and
Artificial Intelligence, papier invité, à paraître.
- Communications à
congrès
- 14
- S. ABITEBOUL,
S. CLUET,
T. MILO,
``Correspondence and Translation for Heterogeneous Data'',
in: Proceedings of the International Conference on Database
Theory, Greece, 1997.
- 15
- S. ABITEBOUL,
L. HERR, J. V.
DEN BUSSCHE, ``Temporal versus
First-Order Logic to Query Temporal Databases'', in:
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on
Principles of Database Systems, 1996.
- 16
- S. ABITEBOUL,
V. VIANU, ``Queries
and Computation on the Web'', in: Int'l. Conf. on Database
Theory, Delpi, Greece, 1997. à paraître.
- 17
- S. ABITEBOUL,
``Querying semi-structured data'', in: Proceedings of the
International Conference on Database Theory, Greece, 1997.
(invited paper).
- 18
- S. AMER-YAHIA, P. BRèCHE, C. S. DOS SANTOS, ``Object Views and Updates'',
in: Actes des 12 ièmes Journées Bases de Données
Avancées, Cassis - France, août 1996.
- 19
- P. BRèCHE,
``Advanced Primitives for Changing Schemas of Object
Databases'', in: Proc. of the CAiSE'96 conference,
Springer Verlag, Heraklion, Crète, mai 1996.
- 20
- J. CHOMICKI,
D. GOLDIN,
G. KUPER, ``Variable
Independence and Aggregation Closure'', in: Proc. Fifteenth
Symposium on Principles of Database Systems,
p. 40-48, Montréal, Canada, 1996.
- 21
- V. CHRISTOPHIDES, S. CLUET, G. MOERKOTTE, J. SIMéON, ``Un Cocktail de Bases de
Données et d'Index Plein Texte'', in: XIVe Congrès
INFORSID, Bordeaux, 1996. Journée O2 Technology.
- 22
- V. CHRISTOPHIDES, S. CLUET, G. MOERKOTTE, ``Evaluating Queries with
Generalized Path Expressions'', in: SIGMOD'96,
p. 413-422, Montréal, Québec, Canada, June 1996.
- 23
- C. S. DOS
SANTOS,
E. THEROUDE,
``Persistent Java'', in: Actes du Premier Colloque
International sur la Persistance et Java, Drymen - Ecosse,
septembre 1996.
- 24
- A. FRANK,
P. HAUNOLD,
W. KUHN, G. M.
KUPER, ``Representation
of Geometric Objects as Set of Inequalities'', in: 12th
European Workshop on Computational Geometry (CG'96),
Munster, Germany, March 1996.
- 25
- S. GRUMBACH,
J. SU, ``Towards
Practical Constraint Databases'', in: 15th ACM Symp. on
Principles of Database Systems, p. 28-39, Montréal,
June 1996. Invited to a special issue of the Journal of
Computer and System Sciences.
- 26
- C. PAPADIMITRIOU, D. SUCIU, V. VIANU, ``Topological Queries in
Spatial Databases'', in: 14th ACM Symp. on Principles of
Database Systems, Montréal, Canada, 1996. Full paper
invited to special issue of JCSS.
- 27
- Y. PAPAKONSTANTINOU,
S. ABITEBOUL,
H. GARCIA-MOLINA, ``Object Fusion in Mediator
Systems'', in: Proceedings of Internat. Conf. on Very Large
Data Bases, Bombay, India, 1996.
- 28
- P. PICOUET,
V. VIANU,
``Expresiveness and Complexity of Active Databases'', in:
Int'l. Conf. on Database Theory, Delpi, Greece, 1997. à
paraître.
- 29
- M. REGNIER,
F. TAHI,
``Enumeration and Asymptotics in Computational Biology'',
in: Workshop ``Mathematical Analysis of biological
Sequences'', Trondheim, Norvège, août 1996.
- Divers
- 30
- S. ABITEBOUL,
D. QUASS,
J. MCHUGH, J. WIDOM, J. WIENER, ``The Lorel Query Language
for Semistructured Data'', 1996, demo at ACM SIGMOD Intern.
Conf. on Data Management.
- 31
- S. CLUET,
G. MOERKOTTE,
``Query Processing in the Schemaless and Semistructured
Contex'', 1996, en préparation.
- 32
- M. SCHOLL,
A. VOISARD,
J. PELOUX,
L. RAYNAL,
P. RIGAUX, ``SGBD
Géographiques, Spécificités'', 1996, soumis.