Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
 SIGMOD RECORD 2002
 ADBIS 2002
CIKM 2002
CoopIS 2002
 EDBT 2002
 ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
 DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
 KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
 SIGIR 2002
 SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Catriel Beeri

Papers on DiSC'03


Querying XML Sources Using an Ontology-Based Mediator

STYX: Connecting the XML Web to the World of Semantics

Atomicity and isolation for transactional processes

Publications


Note: Links lead to the DBLP on the Web.

Catriel Beeri

89 Bernd Amann , Catriel Beeri, Irini Fundulaki , Michel Scholl : Querying XML Sources Using an Ontology-Based Mediator. CoopIS/DOA/ODBASE 2002 : 429-448

88 Irini Fundulaki , Bernd Amann , Catriel Beeri, Michel Scholl , Anne-Marie Vercoustre : ST Y X: Connecting the XML Web to the World of Semantics. EDBT 2002 : 759-761

87 Bernd Amann , Catriel Beeri, Irini Fundulaki , Michel Scholl : Ontology-Based Integration of XML Web Resources. International Semantic Web Conference 2002 : 117-131

86 Heiko Schuldt , Gustavo Alonso , Catriel Beeri, Hans-Jörg Schek : Atomicity and isolation for transactional processes. TODS 27 (1): 63-116 (2002)

85 Bernd Amann , Irini Fundulaki , Michel Scholl , Catriel Beeri, Anne-Marie Vercoustre : Mapping XML Fragments to Community Web Ontologies. WebDB 2001 : 97-102

84 Asuman Dogac , Yusuf Tambag , A. Tumer , M. Ezbiderli , Nesime Tatbul , N. Hamali , C. Icdem , Catriel Beeri: A Workflow System through Cooperating Agents for Control and Document Flow over the Internet. CoopIS 2000 : 138-143

83 Asuman Dogac , M. Ezbiderli , Yusuf Tambag , C. Icdem , A. Tumer , Nesime Tatbul , N. Hamali , Catriel Beeri: The MARIFlow Workflow Management System. ICDE 2000 : 193

82 Catriel Beeri, Peter Buneman : Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Springer 1999

81 Catriel Beeri, Tova Milo : Schemas for Integration and Translation of Structured and Semi-structured Data. ICDT 1999 : 296-313

80 Catriel Beeri, Yariv Tzaban : SAL: An Algebra for Semistructured Data and XML. WebDB (Informal Proceedings) 1999 : 37-42

79 Catriel Beeri, Anna Formica , Michele Missikoff : Inheritance Hierarchy Design in Object-Oriented Databases. DKE 30 (3): 191-216 (1999)

78 Catriel Beeri, Bernhard Thalheim : Identification as a Primitive of Database Models. FMLDO 1998 : 19-36

77 Catriel Beeri, Gershon Elber , Tova Milo , Yehoshua Sagiv , Oded Shmueli , Naftali Tishby , Yakov A. Kogan , David Konopnicki , Pini Mogilevski , Noam Slonim : WebSuite: A Tool Suite for Harnessing Web Data. WebDB 1998 : 152-171

76 Catriel Beeri, Tova Milo , Paula Ta-Shma : Towards a Language for the Fully Generic Queries. DBPL 1997 : 239-259

75 Catriel Beeri, Alon Y. Levy , Marie-Christine Rousset : Rewriting Queries Using Views in Description Logics. PODS 1997 : 99-108

74 Catriel Beeri, Tova Milo : Comparison of Functional and Predicative Query Paradigms. JCSS 54 (1): 3-33 (1997)

73 Catriel Beeri, Tova Milo , Paula Ta-Shma : On Genericity and Parametricity. PODS 1996 : 104-116

72 Judith Gal-Ezer , Catriel Beeri, David Harel , Amiram Yehudai : A High School Program in Computer Science. IEEE Computer 28 (10): 73-80 (1995)

71 Catriel Beeri, Tova Milo : Subtyping in OODBs. JCSS 51 (2): 223-243 (1995)

70 Serge Abiteboul , Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB Journal 4 (4): 727-794 (1995)

69 Catriel Beeri, Atsushi Ohori , Dennis Shasha : 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 - 1 September 1993. Springer 1994

68 Catriel Beeri: Bulk Types and Query Language Design. COMPASS/ADT 1994 : 30-47

67 Kazimierz Subieta , Catriel Beeri, Florian Matthes , Joachim W. Schmidt : A Stack-Based Approach to Query Languages. East/West Database Workshop 1994 : 159-180

66 Catriel Beeri, Yoram Kornatzky : A Logical Query Language for Hypermedia Systems. Information Sciences 77 (1-2): 1-37 (1994)

65 Catriel Beeri: Some thoughts on the future evolution of object-oriented database concepts. BTW 1993 : 18-32

64 Catriel Beeri, Paula Ta-Shma : Bulk Data Types, A Theoretical Approach. DBPL 1993 : 80-96

63 S. Sudarshan , Divesh Srivastava , Raghu Ramakrishnan , Catriel Beeri: Extending the Well-Founded and Valid Semantics for Aggregation. ILPS 1993 : 590-608

62 Catriel Beeri: Query Languages for Models with Object-Oriented Features. NATO ASI OODBS 1993 : 47-71

61 Catriel Beeri, Tova Milo : On the Power of Algebras with Recursion. SIGMOD Conference 1993 : 377-386

60 Catriel Beeri, Yoram Kornatzky : Algebraic Optimization of Object-Oriented Query Languages. TCS 116 (1&2): 59-94 (1993)

59 Catriel Beeri: Discussion Report: Update Languages. FMLDO 1992 : 221-222

58 Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992 : 1-15

57 Catriel Beeri, Tova Milo : Functional and Predicative Programming in OODB's. PODS 1992 : 176-190

56 Catriel Beeri, Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan : The Valid Model Semantics for Logic Programs. PODS 1992 : 91-104

55 Catriel Beeri, Tova Milo : Subtyping in OODB's. PODS 1991 : 300-314

54 Catriel Beeri, Tova Milo : A Model for Active Object Oriented Databases. VLDB 1991 : 337-349

53 Catriel Beeri: Theoretical Foundations for OODB's - a Personal Perspective. Data Engineering Bulletin 14 (2): 8-12 (1991)

52 Catriel Beeri, Shamim A. Naqvi , Oded Shmueli , Shalom Tsur : Set Constructors in a Logic Database Language. JLP 10 (1/2/3&4): 181-232 (1991)

51 Catriel Beeri, Raghu Ramakrishnan : On the Power of Magic. JLP 10 (1/2/3&4): 255-299 (1991)

50 Catriel Beeri, Yoram Kornatzky : A Logical Query Language for Hypertext Systems. ECHT 1990 : 67-80

49 Catriel Beeri, Yoram Kornatzky : The Many Faces of Query Monotonicity. EDBT 1990 : 120-135

48 Catriel Beeri, Yoram Kornatzky : Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990 : 72-88

47 Catriel Beeri: Logic Programming and Databases. ICLP 1990 : 783

46 Catriel Beeri: A Formal Approach to Object-Oriented Databases. DKE 5 : 353-382 (1990)

45 Catriel Beeri, Paris C. Kanellakis , François Bancilhon , Raghu Ramakrishnan : Bounds on the Propagation of Selection into Logic Programs. JCSS 41 (2): 157-180 (1990)

44 Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989 : 405-430

43 Catriel Beeri, Philip A. Bernstein , Nathan Goodman : A model for concurrency in nested transactions systems. JACM 36 (2): 230-269 (1989)

42 Catriel Beeri, Hans-Jörg Schek , Gerhard Weikum : Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988 : 134-154

41 Catriel Beeri: Data Models and Languages for Databases. ICDT 1988 : 19-40

40 Catriel Beeri, Roger Nasr , Shalom Tsur : Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988 : 347-359

39 Raghu Ramakrishnan , Catriel Beeri, Ravi Krishnamurthy : Optimizing Existential Datalog Queries. PODS 1988 : 89-102

38 Serge Abiteboul , Catriel Beeri, Marc Gyssens , Dirk Van Gucht : An Introduction to the Completeness of Languages for Complex Objects and Nested Relations. NF² 1987 : 117-138

37 Catriel Beeri, Shamim A. Naqvi , Raghu Ramakrishnan , Oded Shmueli , Shalom Tsur : Sets and Negation in a Logic Database Language (LDL1). PODS 1987 : 21-37

36 Catriel Beeri, Paris C. Kanellakis , François Bancilhon , Raghu Ramakrishnan : Bounds on the Propagation of Selection into Logic Programs. PODS 1987 : 214-226

35 Catriel Beeri, Raghu Ramakrishnan : On the Power of Magic. PODS 1987 : 269-283

34 Catriel Beeri, Michael Kifer : A theory of intersection anomalies in relational database schemes. JACM 34 (3): 544-577 (1987)

33 François Bancilhon , Catriel Beeri, Paris C. Kanellakis , Raghu Ramakrishnan : Pushing Selections into Logic Programs. XP1 Workshop on Database Theory 1986

32 Catriel Beeri, Michael Kifer : Elimination of intersection anomalies from database schemes. JACM 33 (3): 423-450 (1986)

31 Catriel Beeri, Michael Kifer : An Integrated Approach to Logical Design of Relational Database Schemes. TODS 11 (2): 134-158 (1986)

30 Catriel Beeri, Moshe Y. Vardi : Formal Systems for Join Dependencies. TCS 38 : 99-116 (1985)

29 Catriel Beeri: Integrity and Reliability - Chairman's Report. DDSS 1984 : 191-192

28 Catriel Beeri, Michael Kifer : Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984 : 196-207

27 Catriel Beeri, Moshe Y. Vardi : On Acyclic Database Decompositions. Information and Control 61 (2): 75-84 (1984)

26 Catriel Beeri, Martin Dowd , Ronald Fagin , Richard Statman : On the Structure of Armstrong Relations for Functional Dependencies. JACM 31 (1): 30-46 (1984)

25 Catriel Beeri, Moshe Y. Vardi : A Proof Procedure for Data Dependencies. JACM 31 (4): 718-741 (1984)

24 Catriel Beeri, Moshe Y. Vardi : Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13 (1): 76-98 (1984)

23 Catriel Beeri, Philip A. Bernstein , Nathan Goodman : A Concurrency Control Theory for Nested Transactions. PODC 1983 : 45-62

22 Catriel Beeri, Michael Kifer : Elimination of Intersection Anomalies from Database Schemes. PODS 1983 : 340-351

21 Catriel Beeri, Ronald Fagin , David Maier , Mihalis Yannakakis : On the Desirability of Acyclic Database Schemes. JACM 30 (3): 479-513 (1983)

20 Catriel Beeri, Henry F. Korth : Compatible Attributes in a Universal Relation. PODS 1982 : 55-62

19 Catriel Beeri, Moshe Y. Vardi : The Implication Problem for Data Dependencies. ICALP 1981 : 73-85

18 Catriel Beeri, Ronald Fagin , David Maier , Alberto O. Mendelzon , Jeffrey D. Ullman , Mihalis Yannakakis : Properties of Acyclic Database Schemes. STOC 1981 : 355-362

17 Catriel Beeri, Ron Obermarck : A Resource Class Independent Deadlock Detection Algorithm. VLDB 1981 : 166-178

16 Catriel Beeri, Alberto O. Mendelzon , Yehoshua Sagiv , Jeffrey D. Ullman : Equivalence of Relational Database Schemes. SIAM J. Comput. 10 (2): 352-370 (1981)

15 Catriel Beeri, Peter Honeyman : Preserving Functional Dependencies. SIAM J. Comput. 10 (3): 647-656 (1981)

14 Catriel Beeri, Moshe Y. Vardi : A Note on Decompositions of Relational Databases. SIGMOD Record 12 (1): 33-37 (1981)

13 Catriel Beeri, Moshe Y. Vardi : Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980

12 Catriel Beeri: On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. TODS 5 (3): 241-259 (1980)

11 Catriel Beeri, Moshe Y. Vardi : On the Properties of Join Dependencies. Advances in Data Base Theory 1979 : 25-71

10 Catriel Beeri, Alberto O. Mendelzon , Yehoshua Sagiv , Jeffrey D. Ullman : Equivalence of Relational Database Schemes. STOC 1979 : 319-329

9 Catriel Beeri, Philip A. Bernstein : Computational Problems Related to the Design of Normal Form Relational Schemas. TODS 4 (1): 30-59 (1979)

8 Alfred V. Aho , Catriel Beeri, Jeffrey D. Ullman : The Theory of Joins in Relational Databases. TODS 4 (3): 297-314 (1979)

7 Catriel Beeri, Philip A. Bernstein , Nathan Goodman : A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978 : 113-124

6 Alfred V. Aho , Catriel Beeri, Jeffrey D. Ullman : The Theory of Joins in Relational Data Bases (Extended Abstract). FOCS 1977 : 107-113

5 Catriel Beeri, Ronald Fagin , John H. Howard : A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977 : 47-61

4 Catriel Beeri: An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines. TCS 3 (3): 305-320 (1976)

3 Catriel Beeri: An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata. FOCS 1975 : 128-134

2 Catriel Beeri: Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. JCSS 10 (3): 317-339 (1975)

1 E. Shamir , Catriel Beeri: Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. ICALP 1974 : 27-33




DiSC'03 © 2003 Association for Computing Machinery