Jianwen Su

Zhihua Lin

CoRR, 2021

2020

Impact of Medical Data Imprecision on Learning Results.

[BibT_eX]

[DOI]

Mei Wang

Haiqin Lu

CoRR, 2020

2019

Query Data Inconsistency for Business Processes.

[BibT_eX]

[DOI]

Yongping Tang

Proceedings of the 2019 IEEE World Congress on Services, 2019

2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award.

[BibT_eX]

[DOI]

Dirk Van Gucht

Victor Vianu

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018

Incremental Computation of Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Querying Workflow Logs.

[BibT_eX]

[DOI]

Yan Tang

Isaac Mackey

Inf., 2018

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

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2018

GSM+T: A Timed Artifact-Centric Process Model.

[BibT_eX]

[DOI]

Julius Köpke

Johann Eder

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

2017

The Internet-of-Things Meets Business Process Management: Mutual Benefits and Challenges.

[BibT_eX]

[DOI]

CoRR, 2017

Querying Workflow Logs.

[BibT_eX]

[DOI]

Yan Tang

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017

From Data-centric Business Processes to Enterprise Process Frameworks.

[BibT_eX]

[DOI]

Lijie Wen

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Business Intelligence Revisited.

[BibT_eX]

[DOI]

Yan Tang

Proceedings of the Fifth International Conference on Advanced Cloud and Big Data, 2017

2016

Universal Artifacts: A New Approach to Business Process Management (BPM) Systems.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2016

Research Directions for Principles of Data Management (Abridged).

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

ExRORU: A New Approach to Characterize the Behavioral Semantics of Process Models (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Towards Quality-Aware Translations of Activity-Centric Processes to Guard Stage Milestone.

[BibT_eX]

[DOI]

Julius Köpke

Proceedings of the Business Process Management - 14th International Conference, 2016

2015

Yank Your Data Out of My Engine: A New Approach to Workflow System Design.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Workshop, 2015

Towards Ontology Guided Translation of Activity-Centric Processes to GSM.

[BibT_eX]

[DOI]

Julius Köpke

Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS.

[BibT_eX]

[DOI]

Proceedings of the Asia Pacific Business Process Management, 2015

2014

Conformance for DecSerFlow Constraints.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Modeling data for business processes.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Separating Execution and Data Management: A Key to Business-Process-as-a-Service (BPaaS).

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 12th International Conference, 2014

2013

Choreography Revisited.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013

Data management perspectives on business process management: tutorial overview.

[BibT_eX]

[DOI]

Roman Vaculín

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Automated Trauma Incident Cubes Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

2012

Change impact analysis in service-based business processes.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2012

SeGA: A Mediator for Artifact-Centric Business Processes.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012

Declarative Choreographies for Artifacts.

[BibT_eX]

[DOI]

Wei Xu

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Proactive Enforcement of Data Consistency by Business Processes.

[BibT_eX]

[DOI]

Xi Liu

Xuandong Li

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

An Artifact-Centric Approach to Dynamic Modification of Workflow Execution.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Preservation of Integrity Constraints by Workflow.

[BibT_eX]

[DOI]

Xi Liu

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Computing Degree of Parallelism for BPMN Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010

On Nondeterministic Workflow Executions.

[BibT_eX]

[DOI]

Alexandra Potapova

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

On Lifecycle Constraints of Artifact-Centric Workflows.

[BibT_eX]

[DOI]

Esra Kucukoguz

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

The ACM PODS Alberto O. Mendelzon test-of-time-award 2010.

[BibT_eX]

[DOI]

Arthur H. M. ter Hofstede

Phokion G. Kolaitis

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

10151 Working Groups Results - How to enable Holistic Approaches to Business Process Lifecycle Management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04., 2010

2009

Incremental Computation of Queries.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Database theory column: report on PODS 2009.

[BibT_eX]

[DOI]

SIGACT News, 2009

Letter from the Special Issue Editor.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Automated Realization of Business Workflow Specification.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

Artifact-Centric Workflow Dominance.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Automatic construction of simple artifact-based business processes.

[BibT_eX]

[DOI]

Christian Fritz

Proceedings of the Database Theory, 2009

A Data-Centric Design Methodology for Business Processes.

[BibT_eX]

[DOI]

Kamal Bhattacharya

Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008

Minimum-cost delegation in service composition.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

One Way Distance: For Shape Based Similarity Search of Moving Object Trajectories.

[BibT_eX]

[DOI]

GeoInformatica, 2008

WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets.

[BibT_eX]

[DOI]

Mark Wiley

Aihua Wu

Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

SSWiM: A Semantic Service, Wrapper and Invocation Manager.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2008

2007

A representation independent language for planar spatial databases with Euclidean distance.

[BibT_eX]

[DOI]

Gabriel M. Kuper

J. Comput. Syst. Sci., 2007

Efficient index-based KNN join processing for high-dimensional data.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2007

On automated composition for web services.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on World Wide Web, 2007

Towards a Theory of Web Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

An Analysis Tool for Execution of BPEL Services.

[BibT_eX]

[DOI]

Ariane Gravel

Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

Analyzing Conversations: Realizability, Synchronizability, and Verification.

[BibT_eX]

[DOI]

Proceedings of the Test and Analysis of Web Services, 2007

On Complexity of The Tightening Problem for Web Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Static Analysis of Business Artifact-centric Operational Models.

[BibT_eX]

[DOI]

Cagdas E. Gerede

Kamal Bhattacharya

Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

On Completeness of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Specification and Verification of Artifact Behaviors in Business Process Models.

[BibT_eX]

[DOI]

Cagdas E. Gerede

Proceedings of the Service-Oriented Computing, 2007

Towards Formal Analysis of Artifact-Centric Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 5th International Conference, 2007

2006

Analyzing Conversations of Web Services.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2006

2005

Synchronizability of Conversations among Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Indexing High-Dimensional Data for Efficient In-Memory Similarity Search.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2005

On composition and lookahead delegation of <i>e</i>-services modeled by automata<sup>, </sup>.

[BibT_eX]

[DOI]

Zhe Dang

Theor. Comput. Sci., 2005

Tools for composite web services: a short overview.

[BibT_eX]

[DOI]

SIGMOD Rec., 2005

Realizability of Conversation Protocols with Message Contents.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2005

A Query Language for Moving Object Trajectories.

[BibT_eX]

Proceedings of the 17th International Conference on Scientific and Statistical Database Management, 2005

Web Service Interactions: Analysis and Design.

[BibT_eX]

[DOI]

Proceedings of the ICWS 2005 Second International Workshop on Semantic and Dynamic Web Processes, 2005

SPiDeR: P2P-Based Web Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

Shapes based trajectory queries for moving objects.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

Handling frequent updates of moving objects.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31, 2005

Web Service Discovery Based on Behavior Signatures.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005

Web Service Interactions: Analysis and Design.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004

Main Memory Indexing: The Case for BD-Tree.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2004

Conversation protocols: a formalism for specification and verification of reactive electronic services.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Analysis of interacting BPEL web services.

[BibT_eX]

[DOI]

Proceedings of the 13th international conference on World Wide Web, 2004

Tools for Design of Composite Web Services.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Academic and Industrial Research: Do Their Approaches Differ in Adding Semantics to Web Services?

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Services and Web Process Composition, 2004

Universal Trajectory Queries for Moving Object Databases.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

On Bulk Loading TPR-Tree.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

Model checking XML manipulating software.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Composability of Infinite-State Activity Automata.

[BibT_eX]

[DOI]

Zhe Dang

Proceedings of the Algorithms and Computation, 15th International Symposium, 2004

Automated composition of e-services: lookaheads.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

WSAT: A Tool for Formal Analysis of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Tools for Automated Verification of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

FPV: Fast Protein Visualization Using Java 3DTM.

[BibT_eX]

[DOI]

Bioinform., 2003

Conversation specification: a new approach to design and analysis of e-service composition.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International World Wide Web Conference, 2003

Contorting High Dimensional Data for Efficient Main Memory Processing.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

FPV: Fast Protein Visualization Using Java 3D.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

E-services: a look behind the curtain.

[BibT_eX]

[DOI]

Michael Benedikt

Vassilis Christophides

Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003

2002

Counter Machines and Verification Problems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Augmenting the discrete timed automaton with other data structures.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Formal Verification of e-Services and Workflows.

[BibT_eX]

[DOI]

Proceedings of the Web Services, 2002

On Moving Object Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Trajectory queries and octagons in moving object databases.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, 2002

2001

On Reachability and Safety in Infinite-State Systems.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2001

Verification of Vortex Workflows.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

On Multi-way Spatial Joins with Direction Predicates.

[BibT_eX]

[DOI]

Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001

Moving Objects: Logical Relationships and Queries.

[BibT_eX]

[DOI]

Haiyan Xu

Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, 2001

Counter machines and the safety and disjointness problems for database queries with linear constraints.

[BibT_eX]

Constantinos Bartzis

Proceedings of the Where Mathematics, 2001

2000

Incremental Maintenance of Recursive Views Using Relational Calculus/SQL.

[BibT_eX]

[DOI]

SIGMOD Rec., 2000

Generalizing the Discrete Timed Automaton.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2000

Extending Rectangle Join Algorithms for Rectilinear Polygons.

[BibT_eX]

[DOI]

Proceedings of the Web-Age Information Management, First International Conference, 2000

Toward Spatial Joins for Polygons.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Scientific and Statistical Database Management, 2000

Conter Machines: Decidable Properties and Applications to Verification Problems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Optimization Techniques for Data-Intensive Decision Flows.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

Experimental evaluation evaluation of filter effectiveness (extended abstract).

[BibT_eX]

[DOI]

Lixian Han

Proceedings of the ACM-GIS 2000, 2000

Reachability Analysis for Some Models of Infinite-State Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

Expressive Power: The Infinite Case.

[BibT_eX]

Gabriel M. Kuper

Proceedings of the Constraint Databases, 2000

Binary Reachability Analysis of Discrete Pushdown Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

Support for Modeling Relationships in Object-Oriented Databases.

[BibT_eX]

[DOI]

Sabina Beraha

Data Knowl. Eng., 1999

The Vortex Approach to Integration and Coordination of Workflows.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Cross-Organisational Workflow Management and Co-ordination, 1999

The design of an interactive online help desk in the Alexandria Digital Library.

[BibT_eX]

[DOI]

Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

Declarative workflows that support easy modification and dynamic browsing.

[BibT_eX]

[DOI]

Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

An Index Structure for Spatial Joins in Linear Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Data Engineering, 1999

Data Integration by Describing Sources with Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Data Engineering, 1999

A Framework for Optimizing Distributed Workflow Executions.

[BibT_eX]

[DOI]

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

Counter Machines: Decision Problems and Applications.

[BibT_eX]

Proceedings of the Jewels are Forever, 1999

1998

Deductive Query Languages for Recursively Typed Complex Objects.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Arity Bounds in First-Order Incremental Evaluation and Definition of Polynomial Time Database Queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1998

A Constraint-Based Spatial Extension to SQL.

[BibT_eX]

[DOI]

Proceedings of the ACM-GIS '98, 1998

1997

Dynamic Constraints and Object Migration.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Queries with Arithmetical Constraints.

[BibT_eX]

[DOI]

Kothuri Venkata Ravi Kanth

Theor. Comput. Sci., 1997

Scalable Access Within the Context of Digital Libraries.

[BibT_eX]

[DOI]

Int. J. Digit. Libr., 1997

Finitely Representable Databases.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1997

Deterministic FOIES are Strictly Weaker.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

On the Containment and Equivalence of Database Queries with Linear Constraints.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

1996

Conjunctive Query Containment with Respect to Views and Constraints.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1996

Towards Practical Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Scientific Modeling Using Distributed Resources.

[BibT_eX]

[DOI]

Proceedings of the GIS '96, 1996

1995

Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries

[BibT_eX]

[DOI]

Inf. Comput., July, 1995

Computational modeling systems.

[BibT_eX]

[DOI]

Inf. Syst., 1995

Nonrecursive Incremental Evaluation of Datalog Queries.

[BibT_eX]

[DOI]

Rodney W. Topor

Ann. Math. Artif. Intell., 1995

Dense-Order Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Space-Bounded FOIES.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1995

First-order Definability over Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Dependency Preservation in Semantic Databases.

[BibT_eX]

[DOI]

Acta Informatica, 1994

Domain Independence and the Relational Calculus.

[BibT_eX]

[DOI]

Acta Informatica, 1994

Linear Constraint Query Languages: Expressive Power and Complexity.

[BibT_eX]

[DOI]

Christophe Tollu

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

Virtual Structures - A Technique for Supporting Scientific Database Applications.

[BibT_eX]

[DOI]

Terence R. Smith

Amitabh Saran

Proceedings of the Entity-Relationship Approach, 1994

1993

Algebraic and Calculus Query Languages for Recursively Typed Complex Objects.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1993

Database and Modeling Systems for the Earth Sciences.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1993

Developing Applications with CORAL.

[BibT_eX]

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

First-Order Incremental Evaluation of Datalog Queries.

[BibT_eX]

Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

1991

On the Expressive Power of Database Queries with Intermediate Types.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1991

Object Behaviors and Scripts.

[BibT_eX]