We present in this paper BP-QL, a novel query language for querying business processes. The BP-QL language is based on an intuitive model of business processes, an abstraction of the emerging BPEL...
ABSTRACT Finding Corresponding Objects when Integrating Several Geo-Spatial Datasets (2008)
Catriel Beeri, Eliyahu Safra, Yerach Doytsher, Yehoshua Sagiv, Yaron Kanza
When integrating geo-spatial datasets, a join algorithm is used for finding sets of corresponding objects (i.e., objects that represent the same real-world entity). Algorithms for joining two...
We present in this paper BP-QL, a novel query language for querying business processes. The BP-QL language is based on an intuitive model of business processes, an abstraction of the emerging BPEL...
MARIFlow: A Workflow Management System for Maritime Industry (2008)
Asuman Dogac, Catriel Beeri, Arif Tumer, Murat Ezbiderli, Nesime Tatbul, Guray Erus, ...
The aim of MARIFlow Project is to provide a prototype of an architecture for automating and monitoring the flow of control and data over the Internet among different organisations. This...
STYX: Connecting the XML Web to the World of Semantics (2008)
Irini Fundulaki, Bernd Amann, Catriel Beeri, Michel Scholl, Anne-marie Vercoustre
beeri@cs.huji.ac.il 3 INRIA-Rocquencourt; currently on leave at CSIRO Mathematical and Information
Catriel Beeri, Tova Milo, Paula Ta-shma
Genericity is a property of queries expressed in declarative query languages. The idea, first expressed in [2, 7], is that data values are uninterpreted,
System For Maritime, Asuman Dogac, Catriel Beeri, Arif Tumer, Murat Ezbiderli, Nesime Tatbul, ...
The aim of MARIFlow Project is to provide a prototype of an architecture for automating and monitoring the flow of control and data over the Internet among different organisations. This...
Efficient Bill-Of-Materials Algorithms (2007)
Ahmad Khalaila, Frank Eliassen, Catriel Beeri
It has been shown that every linearly recursive database query can be expressed as a transitive closure, possibly preceded and followed by relational algebraic operations. A large class of such...
A High School, Judith Gal-ezer, Catriel Beeri, David Harel, Amiram Yehudai
Computer ience
Catriel Beeri, Tova Milo, Paula Ta-shma
Database queries differ in one fundamental aspect from regular functions--- they are generic, that is invariant under database isomorphisms. This property was first discussed in [AU79]. At about the...
Monitoring business processes with queries (2007)
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of such processes for...
Monitoring business processes with queries (2007)
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of such processes for...
Query-based monitoring of BPEL business processes (demo (2007)
A Business Process (BP for short) consists of a group of business activities undertaken by one or more organizations in pursuit of some particular goal. It often interacts with other BPs carried by...
Querying business processes with bp-ql (2005)
A business process consists of a group of business activities
Querying business processes with bp-ql (2005)
A business process consists of a group of business activities
Object fusion in geographic information systems (2004)
Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
Given two geographic databases, a fusion algorithm should produce all pairs of corresponding objects (i.e., objects that represent the same real-world entity). Four fusion algorithms, which only use...
Ontology-based integration of XML Web resources (2002)
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl
Abstract. This paper deals with some modeling aspects that have to be addressed in the context of the integration of heterogeneous and autonomous XML resources. We propose an integration system, but...
Querying XML Sources Using an Ontology-Based Mediator (2002)
Bernd Amann, Catriel Beeri, Irini Fundulaki, Michel Scholl
Abstract. In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expressive...
Atomicity and Isolation for Transactional Processes (2002)
Heiko Schuldt, Gustavo Alonso, Catriel Beeri, Hans-Jörg Schek
this paper, we deal with the problem of atomicity and isolation in the context of processes. We propose a unified model for concurrency control and recovery for processes and show how this model can...
Schemas for integration and translation of structured and semi-structured data (1999)
The Web is emerging as a universal data repository, offering access to sources whose data organization varies from strictly structured databases to almost completely unstructured pages, and...
SAL: An Algebra for Semistructured Data and XML (1999)
This paper is a preliminary report on SAL, a Semistructured ALgebra. SAL is an algebraic query language that we are designing to serve as a target language for translation from declarative...
WebSuite-A Tool Suite For Harnessing Web Data (1998)
Catriel Beeri, Gershon Elber, Tova Milo, Yehoshua Sagiv, Oded Shmueli, Oded Shmueli, ...
We present a system for searching, collecting, and integrating Web-resident data. The system consists of five tools, where each tool provides a specific functionality aimed at solving one aspect of...
Ahmad Khalaila, Frank Eliassen, Catriel Beeri
It has been shown that every linearly recursive database query can be expressed as a transitive closure, possibly preceded and followed by relational algebraic operations. A large class of such...
The Power of Languages for the Manipulation of Complex Values (1995)
Serge Abiteboul, Catriel Beeri
Abstract. Various models and languages for describing and manipulating hierar-chically structured data have been proposed. Algebraic, calculus-based, and logic-programming oriented languages have all...
The Power of Languages for the Manipulation of Complex Values (1995)
Serge Abiteboul, Catriel Beeri
Various models and languages for describing and manipulating hierarchically structured data have been proposed. Algebraic, calculus-based and logic-programming oriented languages have all been...
A High-School Program in Computer Science (1995)
Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai
The authors are part of a committee that has been designing a new high-school curriculum in computer science and supervising the preparation of a comprehensive study program based on it. The new...
A High-School Program in Computer Science (1995)
Judith Gal-Ezer, Catriel Beeri, David Harel, Amiram Yehudai
The authors are part of a committee that has been designing a new high-school curriculum in computer science and supervising the preparation of a comprehensive study program based on it. The new...
A Stack-Based Approach to Query Languages (1994)
Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt
Scoping, naming and binding are central concepts in the definition and understanding of programming languages. With the introduction of sophisticated data models, these issues become important for...
The Valid Model Semantics for Logic Programs (1994)
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan
We present the valid model semantics, a new approach to providing semantics for logic programs with negation, setterms and grouping. The valid model semantics is a threevalued semantics, and is...
A Stack-Based Approach to Query Languages (1994)
Kazimierz Subieta, Catriel Beeri, Florian Matthes, Joachim W. Schmidt
Scoping, naming and binding are central concepts in the definition and understanding of programming languages. With the introduction of sophisticated data models, these issues become important for...
On The Power Of Languages For The Manipulation Of Complex Objects (1993)
Serge Abiteboul, Catriel Beeri
Various models and languages for describing and manipulating hierarchically structured data have been proposed. Algebraic, calculus-based and logic-programming oriented languages have all been...
Extending the Well-Founded and Valid Semantics for Aggregation (1993)
S. Sudarshan, Divesh Srivastava, Raghu Ramakrishnan, Catriel Beeri
We present a very general technique for defining semantics for programs that use aggregation. We use the technique to extend the well-founded semantics and the valid semantics, both of which were...
A Stack-Based Approach to Query Languages (1993)
Kazimierz Subieta, Instytut Podstaw Informatyki, Catriel Beeri, Catriel Beeri, Florian Matthes, Florian Matthes, ...
We follow a new paradigm of programming languages in which imperative programming constructs and programming abstractions are built around a declarative query language. Seamless integration of...
Catriel Beeri, Raghu Ramakrishnan
This paper considers the efficient evaluation of recursive queries expressed using Horn Clauses. We define sideways information passing formally and show how a query evaluation algorithm may be...
On the structure of Armstrong relations for functional dependencies (1984)
Catriel Beeri, Martin Dowd, Ronald Fagin, Richard Statman
Abstract. An Armstrong relation for a set of functional dependencies (FDs) is a relation that satisfies each FD implied by the set but no FD that is not implied by it. The structure and size (number...
A complete axiomatization for functional and multivalued dependencies in database relations (1977)
Ronald Fagin, John H. Howard, Catriel Beeri, Catriel Beeri
We investigate the inference rules that can be applied to functional and multivalued dependencies that exist in a database relation. Three types of rules are discussed. First, we list the well known...
Object Fusion in Geographic Information Systems
Catriel Beeri, Yaron Kanza, Eliyahu Safra, Yehoshua Sagiv
Given two geographic databases, a fusion algorithm should produce all pairs of corresponding objects (i.e., objects that represent the same real-world entity). Four fusion algorithms, which only use...