Serge Abiteboul

Affiliations:
  • INRIA, France


According to our database1, Serge Abiteboul authored at least 261 papers between 1981 and 2022.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2011, "For contributions to the theory and practice of databases.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Responsible data management.
Commun. ACM, 2022

2021
Modération de contenu dans les réseaux sociaux et IA.
Proceedings of the Actes du XXXIXème Congrès INFORSID, Dijon, France, June 1-4, 2021., 2021

2019
Transparency, Fairness, Data Protection, Neutrality: Data Management Challenges in the Face of New Regulation.
ACM J. Data Inf. Qual., 2019

2018
Active XML.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Semi-structured Data.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

A Knowledge Base for Personal Information Management.
Proceedings of the Workshop on Linked Data on the Web co-located with The Web Conference 2018, 2018

Explanations and Transparency in Collaborative Workflows.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

Designing Scientific SPARQL Queries Using Autocompletion by Snippets.
Proceedings of the 14th IEEE International Conference on e-Science, 2018

2017
On Measuring Bias in Online Information.
SIGMOD Rec., 2017

Measuring Bias in Online Information.
ERCIM News, 2017

Fides: Towards a Platform for Responsible Data Science.
Proceedings of the 29th International Conference on Scientific and Statistical Database Management, 2017

Issues in ethical data management.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec., 2016

Data, Responsibly (Dagstuhl Seminar 16291).
Dagstuhl Reports, 2016

A Formal Study of Collaborative Access Control in Distributed Datalog.
Proceedings of the 19th International Conference on Database Theory, 2016

Data Responsibly: Fairness, Neutrality and Transparency in Data Analysis.
Proceedings of the 19th International Conference on Extending Database Technology, 2016

Thymeflow, A Personal Knowledge Base with Spatio-temporal Data.
Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

2015
Highly Expressive Query Languages for Unordered Data Trees.
Theory Comput. Syst., 2015

Optimal Probabilistic Generation of XML Documents.
Theory Comput. Syst., 2015

Managing your digital life.
Commun. ACM, 2015

The elephant in the room: getting value from Big Data.
Proceedings of the 18th International Workshop on Web and Databases, 2015

Collaborative Access Control in WebdamLog.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Hup-me: inferring and reconciling a timeline of user activity from rich smartphone data.
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015

Toward personal knowledge bases.
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

2014
Deduction with Contradictions in Datalog.
Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

2013
On the equivalence of distributed systems with queries and communication.
J. Comput. Syst. Sci., 2013

The Webdamlog System Managing Distributed Knowledge on the Web
CoRR, 2013

Introducing Access Control in Webdamlog.
CoRR, 2013

Les connaissances de la toile.
CoRR, 2013

Rule-based application development using Webdamlog.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Collaborative data-driven workflows: think global, act local.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Recursive queries on trees and data trees.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Models for Data-Centric Workflows.
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012
Comparing workflow specification languages: A matter of views.
ACM Trans. Database Syst., 2012

The ERC webdam on foundations of web data management.
Proceedings of the 21st World Wide Web Conference, 2012

Deduction in the Presence of Distribution and Contradictions.
Proceedings of the 15th International Workshop on the Web and Databases 2012, 2012

Auto-completion learning for XML.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

Finding optimal probabilistic generators for XML collections.
Proceedings of the 15th International Conference on Database Theory, 2012

Viewing the Web as a Distributed Knowledge Base.
Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Viewing the Web as a Distributed Knowledge Base.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Sharing Distributed Knowledge on the Web (Invited Talk).
Proceedings of the Computer Science Logic (CSL'12), 2012

2011
Special issue: best papers of VLDB 2009.
VLDB J., 2011

Capturing continuous data and answering aggregate queries in probabilistic XML.
ACM Trans. Database Syst., 2011

PARIS: Probabilistic Alignment of Relations, Instances, and Schema.
Proc. VLDB Endow., 2011

Distributed XML design.
J. Comput. Syst. Sci., 2011

Foundations of distributed data management (Dagstuhl Seminar 11421).
Dagstuhl Reports, 2011

Ontology Alignment at the Instance and Schema Level
CoRR, 2011

Web information management with access control.
Proceedings of the 14th International Workshop on the Web and Databases 2011, 2011

Watermarking for Ontologies.
Proceedings of the Semantic Web - ISWC 2011, 2011

A rule-based language for web data management.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Distributed data management in 2020?
Proceedings of the 27th International Conference on Data Engineering, 2011

Web Data Management.
Cambridge University Press, ISBN: 978-1-10-701243-1, 2011

2010
AXART - Enabling Collaborative Work with AXML Artifacts.
Proc. VLDB Endow., 2010

Corroborating information from disagreeing views.
Proceedings of the Third International Conference on Web Search and Web Data Mining, 2010

Aggregate queries for discrete and continuous probabilistic XML.
Proceedings of the Database Theory, 2010

Distributed Datalog Revisited.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

10151 Working Groups Results - How to enable Holistic Approaches to Business Process Lifecycle Management.
Proceedings of the Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04., 2010

10151 Abstracts Collection - Enabling Holistic Approaches to Business Process Lifecycle Management.
Proceedings of the Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04., 2010

2009
Active XML.
Proceedings of the Encyclopedia of Database Systems, 2009

Semi-Structured Data.
Proceedings of the Encyclopedia of Database Systems, 2009

On the expressiveness of probabilistic XML models.
VLDB J., 2009

Static analysis of active XML systems.
ACM Trans. Database Syst., 2009

Reasoning about XML update constraints.
J. Comput. Syst. Sci., 2009

Modeling and Verifying Active XML Artifacts.
IEEE Data Eng. Bull., 2009

Searching Shared Content in Communities with the Data Ring.
IEEE Data Eng. Bull., 2009

The AXML Artifact Model.
Proceedings of the TIME 2009, 2009

Satisfiability and relevance for queries over active documents.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

MatchUp: Autocompletion for Mashups.
Proceedings of the 25th International Conference on Data Engineering, 2009

Efficient maintenance techniques for views over active documents.
Proceedings of the EDBT 2009, 2009

2008
The Active XML project: an overview.
VLDB J., 2008

WebContent: efficient P2P Warehousing of web data.
Proc. VLDB Endow., 2008

Understanding the Hidden Web.
ERCIM News, 2008

Modeling the mashup space.
Proceedings of the 10th ACM International Workshop on Web Information and Data Management (WIDM 2008), 2008

OptimAX: Optimizing Distributed ActiveXML Applications.
Proceedings of the Eighth International Conference on Web Engineering, 2008

OptimAX: efficient support for data-intensive mash-ups.
Proceedings of the 24th International Conference on Data Engineering, 2008

XML processing in DHT networks.
Proceedings of the 24th International Conference on Data Engineering, 2008

Distributed Monitoring of Peer-to-Peer Systems.
Proceedings of the 24th International Conference on Data Engineering, 2008

2007
Distributed monitoring of peer to peer systems.
Proceedings of the 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), 2007

Large Scale P2P Distribution of Open-Source Software.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

A Calculus and Algebra for Distributed Data Management.
Proceedings of the STACS 2007, 2007

On the complexity of managing probabilistic XML data.
Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

EDOS Distribution System: a P2P architecture for open-source content dissemination.
Proceedings of the Open Source Development, 2007

On-Line Index Selection for Shifting Workloads.
Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

The Data Ring: Community Content Sharing.
Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007

Monitoring Peer to Peer Systems.
Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

Scalability Evaluation of a P2P Content Distribution System.
Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

Incremental View Maintenance for Active Documents.
Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

2006
Representing and querying XML with incomplete information.
ACM Trans. Database Syst., 2006

Compact Labeling Scheme for Ancestor Queries.
SIAM J. Comput., 2006

COLT: continuous on-line tuning.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Querying and Updating Probabilistic Information in XML.
Proceedings of the Advances in Database Technology, 2006

A Framework for Distributed XML Data Management.
Proceedings of the Advances in Database Technology, 2006

Entrepôts de contenu autour de XML et des services Web.
Proceedings of the Actes de la 2ème journée francophone sur les Entrepôts de Données et l'Analyse en ligne, 2006

Turning the Network into a Database with Active XML.
Proceedings of the ECOOP 2006, 2006

Data Ring: Let Us Turn the Net into a Database!
Proceedings of the Advances in Databases and Information Systems, 2006

Digital Signatures for Modifiable Collections.
Proceedings of the The First International Conference on Availability, 2006

2005
Exchanging intensional XML data.
ACM Trans. Database Syst., 2005

In memory of Seymour Ginsburg 1928 - 2004.
SIGMOD Rec., 2005

Digital library information-technology infrastructures.
Int. J. Digit. Libr., 2005

The Lowell database research self-assessment.
Commun. ACM, 2005

XML Data Integration with identification.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Regular rewriting of active XML and unambiguity.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Constructing and Querying Peer-to-Peer Warehouses of XML Resources.
Proceedings of the 21st International Conference on Data Engineering, 2005

Sharing Content in Structured P2P Networks.
Proceedings of the 21èmes Journées Bases de Données Avancées, 2005

Secure Exchange of Modifiable Data and Queries.
Proceedings of the 21èmes Journées Bases de Données Avancées, 2005

Active XML and Data Activation.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004
Best papers of VLDB 2003.
VLDB J., 2004

An Electronic Patient Record "on Steroids": Distributed, Peer-to-Peer, Secure and Privacy-conscious.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Lazy Query Evaluation for Active XML.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Active XML, Security and Access Control.
Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004

Positive Active XML.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

A Test Platform for the INEX Heterogeneous Track.
Proceedings of the Advances in XML Information Retrieval, 2004

Active XML and Active Query Answers.
Proceedings of the Flexible Query Answering Systems, 6th International Conference, 2004

Distributed Information Management with XML and Web Services.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

Peer-to-peer warehousing of XML resources*.
Proceedings of the 20èmes Journées Bases de Données Avancées, 2004

Active XML: A Data-Centric Perspective on Web Services.
Proceedings of the Web Dynamics - Adapting to Change in Content, Size, Topology and Use, 2004

2003
DBGlobe: a service-oriented P2P system for global computing.
SIGMOD Rec., 2003

Adaptive on-line page importance computation.
Proceedings of the Twelfth International World Wide Web Conference, 2003

Managing Distributed Workspaces with Active XML.
Proceedings of 29th International Conference on Very Large Data Bases, 2003

Schema-driven Customization of Web Services.
Proceedings of 29th International Conference on Very Large Data Bases, 2003

Dynamic XML documents with distribution and replication.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Managing an XML Warehouse in a P2P Context.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

In Memoriam: Paris C. Kanellakis.
Proceedings of the PCK50, 2003

2002
Correspondence and translation for heterogeneous data.
Theor. Comput. Sci., 2002

Computing Web Page Importance without Storing the Graph of the Web (extended abstract).
IEEE Data Eng. Bull., 2002

The Xyleme project.
Comput. Networks, 2002

Web services and data integration.
Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

Active XML: Peer-to-Peer Data and Web Services Integration.
Proceedings of 28th International Conference on Very Large Data Bases, 2002

Detecting Changes in XML Documents.
Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, USA, February 26, 2002

A First Experience in Archiving the French Web.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2002

Issues in Monitoring Web Data.
Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

Construction and Maintenance of a Set Of Pages Of Interest (SPIN) using Active XML.
Proceedings of the 18èmes Journées Bases de Données Avancées, 2002

Active XML: A Data-Centric Perspective on Web Services.
Proceedings of the 18èmes Journées Bases de Données Avancées, 2002

2001
Are Web Services the Next Revolution in e-Commerce? (Panel).
Proceedings of the VLDB 2001, 2001

Change-Centric Management of Versions in an XML Warehouse.
Proceedings of the VLDB 2001, 2001

Compact labeling schemes for ancestor queries.
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

Monitoring XML Data on the Web.
Proceedings of the 2001 ACM SIGMOD international conference on Management of data, 2001

Semistructured Data: from Practice to Theory.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000
Queries and computation on the web.
Theor. Comput. Sci., 2000

Editorial.
Int. J. Digit. Libr., 2000

Relational Transducers for Electronic Commerce.
J. Comput. Syst. Sci., 2000

Declarative Specification of Electronic Commerce Applications.
IEEE Data Eng. Bull., 2000

Query Subscription in an XML Webhouse.
Proceedings of the First DELOS Network of Excellence Workshop on Information Seeking, 2000

Acquiring XML pages for a WebHouse.
Proceedings of the 16èmes Journées Bases de Données Avancées, 2000

Chance-centric Management of Versions in an XML Warehouse.
Proceedings of the 16èmes Journées Bases de Données Avancées, 2000

1999
Managing Historical Semistructured Data.
Theory Pract. Object Syst., 1999

Reminiscences on Influential Papers.
SIGMOD Rec., 1999

On Views and XML.
SIGMOD Rec., 1999

Regular Path Queries with Constraints.
J. Comput. Syst. Sci., 1999

Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases.
J. Comput. Syst. Sci., 1999

Review - Computable Queries for Relational Data Bases.
ACM SIGMOD Digit. Rev., 1999

Tools for Data Translation and Integration.
IEEE Data Eng. Bull., 1999

Active Views for Electronic Commerce.
Proceedings of the VLDB'99, 1999


Ozone: Integrating Structured and Semistructured Data.
Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

Data on the Web: From Relations to Semistructured Data and XML
Morgan Kaufmann, ISBN: 1-55860-622-X, 1999

1998
A Logical View of Structured Files.
VLDB J., 1998

Object Identity as a Query Language Primitive.
J. ACM, 1998

Reflective Relational Machines.
Inf. Comput., 1998

A Unified Approach for Querying Structured Data and XML.
Proceedings of the Query Languages Workshop, Boston, 1998

Incremental Maintenance for Materialized Views over Semistructured Data.
Proceedings of the VLDB'98, 1998

Query Flocks: A Generalization of Association-Rule Mining.
Proceedings of the SIGMOD 1998, 1998

Extracting Schema from Semistructured Data.
Proceedings of the SIGMOD 1998, 1998

Complexity of Answering Queries Using Materialized Views.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Representing and Querying Changes in Semistructured Data.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Fusion Queries over Internet Databases.
Proceedings of the Advances in Database Technology, 1998

Active Views for Electronic Commerce.
Proceedings of the 14ème Journées Bases de Données Avancées, 1998

1997
Infering Structure in Semistructured Data.
SIGMOD Rec., 1997

Lore: A Database Management System for Semistructured Data.
SIGMOD Rec., 1997

The Lorel Query Language for Semistructured Data.
Int. J. Digit. Libr., 1997

Querying Documents in Object Databases.
Int. J. Digit. Libr., 1997

Fixpoint logics, relational machines, and computational complexity.
J. ACM, 1997

Evolving Databases: An Application to Electronic Commerce.
Proceedings of the International Database Engineering and Applications Symposium, 1997

Querying Semi-Structured Data.
Proceedings of the Database Theory, 1997

Object Database Support for Digital Libraries.
Proceedings of the Research and Advanced Technology for Digital Libraries. First European Conference, 1997

1996
In Memoriam Paris C. Kanellakis.
ACM Comput. Surv., 1996

Object Fusion in Mediator Systems.
Proceedings of the VLDB'96, 1996

LORE: A Lightweight Object REpository for Semistructured Data.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

In Memoriam: Paris C. Kanellakis.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Temporal Versus First-Order Logic to Query Temporal Databases.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

1995
The Power of Languages for the Manipulation of Complex Values
VLDB J., 1995

Computing with Infinitary Logic.
Theor. Comput. Sci., 1995

Response to "A Close Look at the IFO Data Model".
SIGMOD Rec., 1995

Report on PODS'95.
SIGACT News, 1995

Computing with First-Order Logic.
J. Comput. Syst. Sci., 1995

Method Schemas.
J. Comput. Syst. Sci., 1995

Temporal Connectives versus Explicit Timestamps in Temporal Query Languages
Proceedings of the Recent Advances in Temporal Databases, 1995

A Database Interface for File Updates.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Space Usage in Functional Query Languages.
Proceedings of the Database Theory, 1995

Deep Equality Revisited.
Proceedings of the Deductive and Object-Oriented Databases, 1995

IQL(2): A Model with Ubiquitous Objects.
Proceedings of the Database Programming Languages (DBPL-5), 1995

Foundations of Databases.
Addison-Wesley, ISBN: 0-201-53771-0, 1995

1994
From Structured Documents to Novel Query Facilities.
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

The Power of Reflective Relational Machines
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Virtual Schemas and Bases.
Proceedings of the Advances in Database Technology, 1994

More on Updating the File.
Proceedings of the Dixièmes Journées Bases de Données Avancées, 30 Août, 1994

1993
Querying and Updating the File.
Proceedings of the 19th International Conference on Very Large Data Bases, 1993

Methods and Rules.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Computing on Structures.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Expressive Power of Query Languages.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Queries Are Easier Than You Thought (Probably).
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Deductive and Object-Oriented Databases.
Proceedings of the Logic Programming, 1992

Optimizing Active Databases using the Split Technique.
Proceedings of the Database Theory, 1992

Method Schemas.
Proceedings of the Building an Object-Oriented Database System, The Story of O2, 1992

Object Identity as a Query Language Primitive.
Proceedings of the Building an Object-Oriented Database System, The Story of O2, 1992

1991
A Rule-Based Language with Functions and Sets.
ACM Trans. Database Syst., 1991

Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog.
Theor. Comput. Sci., 1991

On the Representation and Querying of Sets of Possible Worlds.
Theor. Comput. Sci., 1991

Datalog Extensions for Database Queries and Updates.
J. Comput. Syst. Sci., 1991

The Two Facets of Object-Oriented Data Models.
IEEE Data Eng. Bull., 1991

Non-Determinism in Logic-Based Languages.
Ann. Math. Artif. Intell., 1991

Generic Computation and Its Complexity
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

Objects and Views.
Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

1990
New Hope on Data Models and Types: Report of an NSF-INRIA Workshop.
SIGMOD Rec., 1990

Database Theory Column: Query Languages for Complex Object Databases.
SIGACT News, 1990

Procedural Languages for Database Queries and Updates.
J. Comput. Syst. Sci., 1990

Towards a Deductive Object-Oriented Database Language.
Data Knowl. Eng., 1990

Non-Deterministic Languages to Express Deterministic Transformations.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Method Schemas.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

Virtuality in object-oriented databases.
Proceedings of the Sixièmes Journées Bases de Données Avancées, 1990

1989
Database Theory Column: Deciding Bounded Recursion in Database Logic Programs.
SIGACT News, 1989

A transaction-based approach to relational database specification.
J. ACM, 1989

An Alternative Way to Represent the Cogroup of a Relation in the Context of Nested Databases.
Inf. Process. Lett., 1989

Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule.
Inf. Process. Lett., 1989

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

A Logical Database Query Language with Object Identity and Strong Typing.
Proceedings of the Logic Programming, 1989

An Extensible Rule-Based Language with Complex Objects and data-Functions.
Proceedings of the Second International Workshop on Database Programming Languages, 1989

Fundamental properties of deterministic and non deterministic extensions of DATALOG.
Proceedings of the Cinquièmes Journées Bases de Données Avancées, 1989

1988
Restructuring Hierarchical Database Objects.
Theor. Comput. Sci., 1988

Equivalence and optimization of relational transactions.
J. ACM, 1988

From Simple to Sophisticate Languages for Complex Objects.
IEEE Data Eng. Bull., 1988

Update Propagation in a Formal Semantic Model.
IEEE Data Eng. Bull., 1988

Data Functions, Datalog and Negation (Extended Abstract).
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Procedural and Declarative Database Update Languages.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications.
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

Updates, A New Frontier.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987
IFO: A Formal Semantic Database Model.
ACM Trans. Database Syst., 1987

A Transcation Language Complete for Database Update and Specification.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

VERSO: A Database Machine Based On Nested Relations.
Proceedings of the Nested Relations and Complex Objects, 1987

An Introduction to the Completeness of Languages for Complex Objects and Nested Relations.
Proceedings of the Nested Relations and Complex Objects, 1987

COL: A Logic-Based Language for Complex Objects.
Proceedings of the Advances in Database Programming Languages, 1987

Une approche logique de la manipulation d'objets complexes.
Proceedings of the Troisièmes Journées Bases de Données Avancées, 1987

1986
Non First Normal Form Relations: An Algebra Allowing Data Restructuring.
J. Comput. Syst. Sci., 1986

Tuple sequences and lexicographic indexes.
J. ACM, 1986

Towards DBMSs for Supporting New Applications.
Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Deciding Properties of Transactional Schemas.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

Restructuring of Complex Objects and Office Forms.
Proceedings of the ICDT'86, 1986

Manipulations d'objets complexes.
Proceedings of the 2<sup>èmes</sup> Journées Bases de Données Avancés, 1986

1985
Disaggregations in Databases
J. ACM, January, 1985

Update Semantics for Incomplete Databases.
Proceedings of the VLDB'85, 1985

Transactions and Integrity Constraints.
Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985

Update Propagation in the IFO Database Model.
Proceedings of the Foundations of Data Organization, 1985

Mise-à-jour des Bases de Données contenant de l'information incomplète.
Proceedings of the Journées Bases de Données Avancés, 1985

1984
Transactions in Relational Databases (Preliminary Report).
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Non First Normal Form Relations to Represent Hierarchical Organized Data.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984

Tuple Sequences and Indexes.
Proceedings of the Automata, 1984

1983
Information Theoretic Aspects of Data Bases.
Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

Querying and Filtering Formatted Files.
Proceedings of the Database Machines, 1983

1981
A systematic method to solve the Rubik's cube problem.
SIGART Newsl., 1981


  Loading...