![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
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 |