Références

Documents d'habilitation à diriger des recherches

1

S. Grumbach, Théories des Langages de Requêtes, habilitation à diriger des recherches, Université Paris-Sud, Orsay, Novembre 1995.

Thèses

2

C. S. dos Santos, Un Mécanisme de Vues pour les Systèmes de Gestion de Base de Données Objet, thèse de doctorat, Université Paris-Sud, Orsay, Novembre 1995.

Articles et chapitres de livre

3

S. Abiteboul, C. Beeri, ``On the power of languages for complex values'', Very Large Data Bases Journal, 1995, nouvelle version.

4

S. Abiteboul, P. Kanellakis, ``Object Identity as a Query Language Primitive'', Journal of the Association for Computing Machinary, Nouvelle version, à paraître.

5

S. Abiteboul, P. Kanellakis, E. Waller, ``Method Schema'', Journal of Computer Science and Systems, Nouvelle version, à paraître.

6

S. Abiteboul, C. Papadimitriou, V. Vianu, ``Reflective Relational Machines'', Journal of Computer Science and Systems, papier invité, à paraître.

7

S. Abiteboul, M. Vardi, V. Vianu, ``Computing with Infinitary Logic'', Theoretical Computer Science, papier invité. à paraître.

8

S. Abiteboul, M. Vardi, V. Vianu, ``Fixpoint Logics, Relational Machines, and Computational Complexity'', Journal of the Association for Computing Machinary, à paraître.

9

S. Abiteboul, V. Vianu, ``Computing with First-Order Logic'', Journal of Computer and System Sciences, papier invité, à paraître.

10

B. Amann, M. Scholl, A. Rizk, ``Schema-based authoring and querying of large hypertexts'', Int. Journal of Human-Computer Studies, 1995, à paraître.

11

S. Grumbach, Z. Lacroix, ``Non-deterministic Machines and Languages'', Annals of Mathematics and Artificial Intelligence, papier invité, à paraître.

12

S. Grumbach, T. Milo, ``Towards Tractable Algebras for Bags'', Journal of Computer and System Sciences, 1995, papier invité, à paraître.

13

S. Grumbach, J. Su, ``Finitely representable Databases'', Journal of Computer and System Sciences, 1995, papier invité.

14

S. Grumbach, F. Tahi, ``Compression et compréhension des séquences de nucléotides'', Technique et Science Informatiques, 1995.

15

S. Grumbach, C. Tollu, ``On the Expressive Power of Counting'', Theoretical Computer Science, B 147, septembre 1995, Also Inria Research Report, n 2330, sept 1994.

16

S. Grumbach, V. Vianu, ``Tractable Query Languages for Complex Object Databases'', Journal of Computer and System Sciences 51:2, 1995.

17

J. Peloux, G.Reynal, M. Scholl, ``Evaluation of Spatial Indices implemented with the O DBMS'', Ingénierie des Systèmes Informatiques, septembre 1995.

18

V. Vianu, ``Rule-Based Languages'', Annals of Mathematics and Artificial Intelligence, papier invité, à paraître.

Communications à des congrès, colloques, etc.

19

S. Abiteboul, S. Cluet, T. Milo, ``A Database Interface for Files Update'', in: International Conference on Management of Data, ACM SIGMOD, San Jose, Californie, mai 1995.

20

S. Abiteboul, J. V. den Bussche, ``Deep Equality Revisited'', in: Int. Conf. on Deductive Object-Oriented Databases, Singapore, 1995.

21

S. Abiteboul, C. S. dos Santos, ``IQL(2): A Model with Ubiquitous Objects'', in: Fifth International Workshop on Database Programming Languages, Gubbio, Italie, septembre 1995.

22

S. Abiteboul, L. Herr, J. V. den Bussche, ``Temporal connectives versus explicit timestamps in temporal query languages'', in: Int. Workshop on Temporal Databases, Zurich, Suisse, 1995.

23

S. Abiteboul, G. Hillebrand, ``Space Usage in Functional Query Languages'', in: Int. Conf. on Database Theory, Prague, République Tchèque, janvier 1995.

24

P. Brèche, F. Ferrandina, K. Kuklok, ``Simulation of Schema Change using Views'', in: Proc. of the 6th International Conference on Database and Expert Systems Aplications, N. Revell, A. Tjoa (réd.), LNCS, 978, Springer Verlag, London, England, septembre 1995.

25

P. Brèche, M. Wörner, ``How to Remove a Class in an Object Database System'', in: Proc. of the 2nd Int. Conference on Application of Databases, San José, California, December 1995.

26

S. Cluet, G. Moerkotte, ``Efficient Evaluation of Aggregates on Bulk Types'', in: Fifth International Workshop on Database Programming Languages, Gubbio, Italie, septembre 1995.

27

S. Cluet, G. Moerkotte, ``On the Complexity of Generating Optimal Left-Deep Processing Trees with Cross-Products'', in: Int. Conf. on Database Theory, Prague, République Tchèque, janvier 1995.

28

C. Delobel, C. S. dos Santos, D. Tallot, ``Object Views of Relations'', in: Proceedings of the 2nd International Conference on Applications of Databases - ADB '95, Santa Clara, Californie, décembre 1995.

29

C. S. dos Santos, ``Design and Implementation of an Object-Oriented View Mechanism'', in: DEXA, London, septembre 1995.

30

S. Grumbach, Z. Lacroix, S. Lindell, ``Generalized Implicit Definitions on Finite Structures'', in: CSL'95 Computer Science Logic, Paderborn, Allemagne, 1995. à paraître dans Lecture Notes in Computer Sciences.

31

S. Grumbach, Z. Lacroix, ``Computing Queries on Linear Constraint Databases'', in: Fifth Int. Workshop on Database Programming Languages, Gubbio, Italie, 1995. à paraître dans Lecture Notes in Computer Sciences. Aussi dans les Proc. Bases de Données Avancées, Nancy, 1995.

32

S. Grumbach, T. Milo, ``An Algebra for Pomsets'', in: Int. Conf. on Database Theory, Prague, République Tchèque, janvier 1995.

33

S. Grumbach, J. Su, ``Dense Order Constraint Databases'', in: 13th ACM Symp. on Principles of Database Systems, San Jose, California, 1995.

34

S. Grumbach, J. Su, ``First-order Definability over Constraint Databases'', in: 1st Int. Conf. Constraint Programming, Cassis, France, LNCS 976, 1995. papier invité dans Theoretical Computer Science.

35

L. Herr, ``Le Langage de Requêtes Temporel FTL'', in: Proc. onzièmes journées Bases de Données Avancées, Nancy, France, 1995.

36

S. Lifschitz, V. Vianu, ``A probabilistic view of datalog parallelization'', in: Int. Conf. on Database Theory, Prague, République Tchèque, 1995. Theoretical Computer Science, papier invité, a paraître.

37

P. Picouet, V. Vianu, ``Semantics and Expressiveness Issues in Active Databases'', in: 14th ACM Symp. on Principles of Database Systems, San Jose, California, 1995. papier invité Journal of Computer and System Sciences.

38

P. Rigaux, M. Scholl, ``Multi-scale Partitions :Application to Spatial and Statistical Databases'', in: Advanced Spatial Databases (SSD'95), Portland, Maine, August 1995. Lecture Notes in Computer Science.

Rapports de recherche et publications internes

39

S. Amer-Yahia, Mise à Jour des Données dans les Vues Objet, Mémoire, Université Paris Dauphine, 1995.

40

P. Brèche, M. Wörner, High Level Primitives for Schema Update, User Manual, version 2.0, DBIS, Fachbereich 20, J.W. Goethe University, Frankfurt, Germany, October 1995.

41

L. Lebas, O2Writer, Mémoire, Universités Paris I et Paris XI, 1995.

42

C. Santos, E. Waller, The OViews User's Manual, version 2.0, janvier 1995.

43

J. Siméon, Recherche en texte intégral et Bases de Données Orientées-Objet, Mémoire, Université de Nancy I, 1995.