Catriel Beeri

According to our database1, Catriel Beeri authored at least 102 papers between 1974 and 2012.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2007, "For contributions to database theory.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2012
"Regressed experts" as a new state in teachers' professional development: lessons from Computer Science teachers' adjustments to substantial changes in the curriculum.
Computer Science Education, 2012

A model of CS teachers' knowledge growth.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011
Difficulties in Learning Inheritance and Polymorphism.
TOCE, 2011

2010
Location-based algorithms for finding sets of corresponding objects over several geo-spatial data sets.
International Journal of Geographical Information Science, 2010

2009
The ACM PODS Alberto O. Mendelzon test-of-time-award 2009.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

In-service teachers learning of a new paradigm: a case study.
Proceedings of the Fifth International Workshop on Computing Education Research, 2009

2008
BP-Mon: query-based monitoring of BPEL business processes.
SIGMOD Record, 2008

2007
Monitoring Business Processes with Queries.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Query-based monitoring of BPEL business processes.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

2006
Querying Business Processes.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

2005
Querying Business Processes with BP-QL.
Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

Finding corresponding objects when integrating several geo-spatial datasets.
Proceedings of the 13th ACM International Workshop on Geographic Information Systems, 2005

2004
Object Fusion in Geographic Information Systems.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

2003
Interrogation de ressources XML concernant un domaine d'intérêt.
Technique et Science Informatiques, 2003

2002
Atomicity and isolation for transactional processes.
ACM Trans. Database Syst., 2002

Ontology-Based Integration of XML Web Resources.
Proceedings of the Semantic Web, 2002

STYX: Connecting the XML Web to the World of Semantics.
Proceedings of the Advances in Database Technology, 2002

Querying XML Sources Using an Ontology-Based Mediator.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

Querying XML Sources Using an Ontology-based Mediator.
Proceedings of the 18èmes Journées Bases de Données Avancées, 2002

2001
Mapping XML Fragments to Community Web Ontologies.
Proceedings of the Fourth International Workshop on the Web and Databases, 2001

Rewriting and Evaluating Tree Queries with XPath.
Proceedings of the 17èmes Journées Bases de Données Avancées, 2001

2000
The MARIFlow Workflow Management System.
Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28, 2000

A Workflow System through Cooperating Agents for Control and Document Flow over the Internet.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

1999
Inheritance Hierarchy Design in Object-Oriented Databases.
Data Knowl. Eng., 1999

SAL: An Algebra for Semistructured Data and XML.
Proceedings of the ACM SIGMOD Workshop on The Web and Databases, 1999

Schemas for Integration and Translation of Structured and Semi-structured Data.
Proceedings of the Database Theory, 1999

1998
WebSuite: A Tool Suite for Harnessing Web Data.
Proceedings of the World Wide Web and Databases, 1998

Identification as a Primitive of Database Models.
Proceedings of the Fundamentals of Information Systems, 1998

1997
Comparison of Functional and Predicative Query Paradigms.
J. Comput. Syst. Sci., 1997

Rewriting Queries Using Views in Description Logics.
Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1997

Towards a Language for the Fully Generic Queries.
Proceedings of the Database Programming Languages, 6th International Workshop, 1997

1996
On Genericity and Parametricity.
Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

Switching Terminologies - Creating a New View of An Old World: Preliminary Report.
Proceedings of the 1996 International Workshop on Description Logics, 1996

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

Subtyping in OODBs.
J. Comput. Syst. Sci., 1995

A High School Program in Computer Science.
IEEE Computer, 1995

1994
A Logical Query Language for Hypermedia Systems.
Inf. Sci., 1994

A Stack-Based Approach to Query Languages.
Proceedings of the East/West Database Workshop, 1994

Bulk Types and Query Language Design.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993
Extending the Well-Founded and Valid Semantics for Aggregation.
Proceedings of the Logic Programming, 1993

On the Power of Algebras with Recursion.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Query Languages for Models with Object-Oriented Features.
Proceedings of the Advances in Object-Oriented Database Systems, 1993

Bulk Data Types, A Theoretical Approach.
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

Some thoughts on the future evolution of object-oriented database concepts.
Proceedings of the Datenbanksysteme in Büro, 1993

1992
The Valid Model Semantics for Logic Programs.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Functional and Predicative Programming in OODB's.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

New Data Models and Languages - the Challenge.
Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1992

Discussion Report: Update Languages.
Proceedings of the Modelling Database Dynamics, 1992

1991
Set Constructors in a Logic Database Language.
J. Log. Program., 1991

Theoretical Foundations for OODB's - a Personal Perspective.
IEEE Data Eng. Bull., 1991

A Model for Active Object Oriented Databases.
Proceedings of the 17th International Conference on Very Large Data Bases, 1991

Subtyping in OODB's.
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991

1990
A Formal Approach to Object-Oriented Databases.
Data Knowl. Eng., 1990

New directions in database management systems.
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

Logic Programming and Databases.
Proceedings of the Logic Programming, 1990

Algebraic Optimization of Object-Oriented Query Languages.
Proceedings of the ICDT'90, 1990

The Many Faces of Query Monotonicity.
Proceedings of the Advances in Database Technology, 1990

A Logical Query Language for Hypertext Systems.
Proceedings of the Hypertext: Concepts, 1990

1989
A model for concurrency in nested transactions systems.
J. ACM, 1989

Formal Models for Object Oriented Databases.
DOOD, 1989

1988
Optimizing Existential Datalog Queries.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

Embedding Psi-Terms in a Horn-Clause Logic Language.
JCDKB, 1988

Data Models and Languages for Databases.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

Multi-Level Transaction Management, Theoretical Art or Practical Need ?
Proceedings of the Advances in Database Technology, 1988

On the use of logic programming databases.
Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987
A theory of intersection anomalies in relational database schemes.
J. ACM, 1987

On the Power of Magic.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Sets and Negation in a Logic Database Language (LDL1).
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

Bounds on the Propagation of Selection into Logic Programs.
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

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

1986
An Integrated Approach to Logical Design of Relational Database Schemes.
ACM Trans. Database Syst., 1986

Pushing Selections into Logic Programs.
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

1985
Formal Systems for Join Dependencies.
Theor. Comput. Sci., 1985

1984
On Acyclic Database Decompositions
Information and Control, May, 1984

Formal Systems for Tuple and Equality Generating Dependencies.
SIAM J. Comput., 1984

A Proof Procedure for Data Dependencies.
J. ACM, 1984

On the Structure of Armstrong Relations for Functional Dependencies.
J. ACM, 1984

Comprehensive Approach to the Design of Relational Database Schemes.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984

Integrity and Reliability - Chairman's Report.
DDSS, 1984

1983
On the Desirability of Acyclic Database Schemes
J. ACM, July, 1983

Elimination of Intersection Anomalies from Database Schemes.
Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1983

A Concurrency Control Theory for Nested Transactions.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

1982
Compatible Attributes in a Universal Relation.
Proceedings of the ACM Symposium on Principles of Database Systems, 1982

1981
A Note on Decompositions of Relational Databases.
SIGMOD Record, 1981

Equivalence of Relational Database Schemes.
SIAM J. Comput., 1981

Preserving Functional Dependencies.
SIAM J. Comput., 1981

A Resource Class Independent Deadlock Detection Algorithm
Proceedings of the Very Large Data Bases, 1981

Properties of Acyclic Database Schemes
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

The Implication Problem for Data Dependencies.
Proceedings of the Automata, 1981

1980
On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases.
ACM Trans. Database Syst., 1980

Decision Problems for Data Dependencies.
Proceedings of the XP1 Workshop on Relational Database Theory, 30 June, 1980

1979
Computational Problems Related to the Design of Normal Form Relational Schemas.
ACM Trans. Database Syst., 1979

The Theory of Joins in Relational Databases.
ACM Trans. Database Syst., 1979

Equivalence of Relational Database Schemes
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

On the Properties of Join Dependencies.
Proceedings of the Advances in Data Base Theory, 1979

1978
A Sophisticate's Introduction to Database Normalization Theory.
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

1977
A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations.
Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, 1977

The Theory of Joins in Relational Data Bases (Extended Abstract)
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976
An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines.
Theor. Comput. Sci., 1976

1975
Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata.
J. Comput. Syst. Sci., 1975

An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974
Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974


  Loading...