| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Catriel Beeri Catriel Beeri, Yerach Doytsher , Yaron Kanza , Eliyahu Safra , Yehoshua Sagiv : Finding corresponding objects when integrating several geo-spatial datasets. GIS 2005 : 87-96 Catriel Beeri, Anat Eyal , Simon Kamenkovich , Tova Milo : Querying Business Processes with BP-QL. VLDB 2005 : 1255-1258 Catriel Beeri, Yaron Kanza , Eliyahu Safra , Yehoshua Sagiv : Object Fusion in Geographic Information Systems. VLDB 2004 : 816-827 Bernd Amann , Catriel Beeri, Irini Fundulaki , Michel Scholl : Interrogation de ressources XML concernant un domaine d'intérêt. Technique et Science Informatiques 22 (10): 1243-1270 (2003) Bernd Amann , Catriel Beeri, Irini Fundulaki , Michel Scholl : Querying XML Sources Using an Ontology-Based Mediator. CoopIS/DOA/ODBASE 2002 : 429-448 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 Bernd Amann , Catriel Beeri, Irini Fundulaki , Michel Scholl : Ontology-Based Integration of XML Web Resources. International Semantic Web Conference 2002 : 117-131 Heiko Schuldt , Gustavo Alonso , Catriel Beeri, Hans-Jörg Schek : Atomicity and isolation for transactional processes. ACM Trans. Database Syst. 27 (1): 63-116 (2002) Bernd Amann , Irini Fundulaki , Michel Scholl , Catriel Beeri, Anne-Marie Vercoustre : Mapping XML Fragments to Community Web Ontologies. WebDB 2001 : 97-102 Asuman Dogac , Yusuf Tambag , Arif 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 Asuman Dogac , M. Ezbiderli , Yusuf Tambag , C. Icdem , Arif Tumer , Nesime Tatbul , N. Hamali , Catriel Beeri: The MARIFlow Workflow Management System. ICDE 2000 : 193 Catriel Beeri, Peter Buneman : Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings. Springer 1999 Catriel Beeri, Tova Milo : Schemas for Integration and Translation of Structured and Semi-structured Data. ICDT 1999 : 296-313 Catriel Beeri, Yariv Tzaban : SAL: An Algebra for Semistructured Data and XML. WebDB (Informal Proceedings) 1999 : 37-42 Catriel Beeri, Anna Formica , Michele Missikoff : Inheritance Hierarchy Design in Object-Oriented Databases. Data Knowl. Eng. 30 (3): 191-216 (1999) Catriel Beeri, Bernhard Thalheim : Identification as a Primitive of Database Models. FMLDO 1998 : 19-36 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 Catriel Beeri, Tova Milo , Paula Ta-Shma : Towards a Language for the Fully Generic Queries. DBPL 1997 : 239-259 Catriel Beeri, Alon Y. Levy , Marie-Christine Rousset : Rewriting Queries Using Views in Description Logics. PODS 1997 : 99-108 Catriel Beeri, Tova Milo : Comparison of Functional and Predicative Query Paradigms. J. Comput. Syst. Sci. 54 (1): 3-33 (1997) Catriel Beeri, Alon Y. Levy , Marie-Christine Rousset : Switching Terminologies - Creating a New View of An Old World: Preliminary Report. Description Logics 1996 : 79-83 Catriel Beeri, Tova Milo , Paula Ta-Shma : On Genericity and Parametricity. PODS 1996 : 104-116 Judith Gal-Ezer , Catriel Beeri, David Harel , Amiram Yehudai : A High School Program in Computer Science. IEEE Computer 28 (10): 73-80 (1995) Catriel Beeri, Tova Milo : Subtyping in OODBs. J. Comput. Syst. Sci. 51 (2): 223-243 (1995) Serge Abiteboul , Catriel Beeri: The Power of Languages for the Manipulation of Complex Values VLDB J. 4 (4): 727-794 (1995) 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 Catriel Beeri: Bulk Types and Query Language Design. COMPASS/ADT 1994 : 30-47 Kazimierz Subieta , Catriel Beeri, Florian Matthes , Joachim W. Schmidt : A Stack-Based Approach to Query Languages. East/West Database Workshop 1994 : 159-180 Catriel Beeri, Yoram Kornatzky : A Logical Query Language for Hypermedia Systems. Inf. Sci. 77 (1-2): 1-37 (1994) Catriel Beeri: Some thoughts on the future evolution of object-oriented database concepts. BTW 1993 : 18-32 Catriel Beeri, Paula Ta-Shma : Bulk Data Types, A Theoretical Approach. DBPL 1993 : 80-96 S. Sudarshan , Divesh Srivastava , Raghu Ramakrishnan , Catriel Beeri: Extending the Well-Founded and Valid Semantics for Aggregation. ILPS 1993 : 590-608 Catriel Beeri: Query Languages for Models with Object-Oriented Features. NATO ASI OODBS 1993 : 47-71 Catriel Beeri, Tova Milo : On the Power of Algebras with Recursion. SIGMOD Conference 1993 : 377-386 Catriel Beeri, Yoram Kornatzky : Algebraic Optimization of Object-Oriented Query Languages. Theor. Comput. Sci. 116 (1&2): 59-94 (1993) Catriel Beeri: Discussion Report: Update Languages. FMLDO 1992 : 221-222 Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992 : 1-15 Catriel Beeri, Tova Milo : Functional and Predicative Programming in OODB's. PODS 1992 : 176-190 Catriel Beeri, Raghu Ramakrishnan , Divesh Srivastava , S. Sudarshan : The Valid Model Semantics for Logic Programs. PODS 1992 : 91-104 Catriel Beeri, Tova Milo : Subtyping in OODB's. PODS 1991 : 300-314 Catriel Beeri, Tova Milo : A Model for Active Object Oriented Databases. VLDB 1991 : 337-349 Catriel Beeri: Theoretical Foundations for OODB's - a Personal Perspective. IEEE Data Eng. Bull. 14 (2): 8-12 (1991) Catriel Beeri, Shamim A. Naqvi , Oded Shmueli , Shalom Tsur : Set Constructors in a Logic Database Language. J. Log. Program. 10 (1/2/3&4): 181-232 (1991) Catriel Beeri, Raghu Ramakrishnan : On the Power of Magic. J. Log. Program. 10 (1/2/3&4): 255-299 (1991) Catriel Beeri, Yoram Kornatzky : A Logical Query Language for Hypertext Systems. ECHT 1990 : 67-80 Catriel Beeri, Yoram Kornatzky : The Many Faces of Query Monotonicity. EDBT 1990 : 120-135 Catriel Beeri, Yoram Kornatzky : Algebraic Optimization of Object-Oriented Query Languages. ICDT 1990 : 72-88 Catriel Beeri: Logic Programming and Databases. ICLP 1990 : 783 Catriel Beeri: A Formal Approach to Object-Oriented Databases. Data Knowl. Eng. 5 : 353-382 (1990) Catriel Beeri, Paris C. Kanellakis , François Bancilhon , Raghu Ramakrishnan : Bounds on the Propagation of Selection into Logic Programs. J. Comput. Syst. Sci. 41 (2): 157-180 (1990) Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989 : 405-430 Catriel Beeri, Philip A. Bernstein , Nathan Goodman : A model for concurrency in nested transactions systems. J. ACM 36 (2): 230-269 (1989) Catriel Beeri: On the use of logic programming databases. BDA 1988 : 161-180 Catriel Beeri, Hans-Jörg Schek , Gerhard Weikum : Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988 : 134-154 Catriel Beeri: Data Models and Languages for Databases. ICDT 1988 : 19-40 Catriel Beeri, Roger Nasr , Shalom Tsur : Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988 : 347-359 Raghu Ramakrishnan , Catriel Beeri, Ravi Krishnamurthy : Optimizing Existential Datalog Queries. PODS 1988 : 89-102 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 Catriel Beeri, Shamim A. Naqvi , Raghu Ramakrishnan , Oded Shmueli , Shalom Tsur : Sets and Negation in a Logic Database Language (LDL1). PODS 1987 : 21-37 Catriel Beeri, Paris C. Kanellakis , François Bancilhon , Raghu Ramakrishnan : Bounds on the Propagation of Selection into Logic Programs. PODS 1987 : 214-226 Catriel Beeri, Raghu Ramakrishnan : On the Power of Magic. PODS 1987 : 269-284 Catriel Beeri, Michael Kifer : A theory of intersection anomalies in relational database schemes. J. ACM 34 (3): 544-577 (1987) François Bancilhon , Catriel Beeri, Paris C. Kanellakis , Raghu Ramakrishnan : Pushing Selections into Logic Programs. XP7.52 Workshop on Database Theory 1986 Catriel Beeri, Michael Kifer : An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11 (2): 134-158 (1986) Catriel Beeri, Michael Kifer : Elimination of intersection anomalies from database schemes. J. ACM 33 (3): 423-450 (1986) Catriel Beeri, Moshe Y. Vardi : Formal Systems for Join Dependencies. Theor. Comput. Sci. 38 : 99-116 (1985) Catriel Beeri: Integrity and Reliability - Chairman's Report. DDSS 1984 : 191-192 Catriel Beeri, Michael Kifer : Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984 : 196-207 Catriel Beeri, Moshe Y. Vardi : On Acyclic Database Decompositions Information and Control 61 (2): 75-84 (1984) Catriel Beeri, Martin Dowd , Ronald Fagin , Richard Statman : On the Structure of Armstrong Relations for Functional Dependencies. J. ACM 31 (1): 30-46 (1984) Catriel Beeri, Moshe Y. Vardi : A Proof Procedure for Data Dependencies. J. ACM 31 (4): 718-741 (1984) Catriel Beeri, Moshe Y. Vardi : Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. Comput. 13 (1): 76-98 (1984) Catriel Beeri, Philip A. Bernstein , Nathan Goodman : A Concurrency Control Theory for Nested Transactions. PODC 1983 : 45-62 Catriel Beeri, Michael Kifer : Elimination of Intersection Anomalies from Database Schemes. PODS 1983 : 340-351 Catriel Beeri, Ronald Fagin , David Maier , Mihalis Yannakakis : On the Desirability of Acyclic Database Schemes J. ACM 30 (3): 479-513 (1983) Catriel Beeri, Henry F. Korth : Compatible Attributes in a Universal Relation. PODS 1982 : 55-62 Catriel Beeri, Moshe Y. Vardi : The Implication Problem for Data Dependencies. ICALP 1981 : 73-85 Catriel Beeri, Ronald Fagin , David Maier , Alberto O. Mendelzon , Jeffrey D. Ullman , Mihalis Yannakakis : Properties of Acyclic Database Schemes STOC 1981 : 355-362 Catriel Beeri, Ron Obermarck : A Resource Class Independent Deadlock Detection Algorithm VLDB 1981 : 166-178 Catriel Beeri, Alberto O. Mendelzon , Yehoshua Sagiv , Jeffrey D. Ullman : Equivalence of Relational Database Schemes. SIAM J. Comput. 10 (2): 352-370 (1981) Catriel Beeri, Peter Honeyman : Preserving Functional Dependencies. SIAM J. Comput. 10 (3): 647-656 (1981) Catriel Beeri, Moshe Y. Vardi : A Note on Decompositions of Relational Databases. SIGMOD Record 12 (1): 33-37 (1981) Catriel Beeri, Moshe Y. Vardi : Decision Problems for Data Dependencies. XP1 Workshop on Database Theory 1980 Catriel Beeri: On the Membership Problem for Functional and Multivalued Dependencies in Relational Databases. ACM Trans. Database Syst. 5 (3): 241-259 (1980) Catriel Beeri, Moshe Y. Vardi : On the Properties of Join Dependencies. Advances in Data Base Theory 1979 : 25-71 Catriel Beeri, Alberto O. Mendelzon , Yehoshua Sagiv , Jeffrey D. Ullman : Equivalence of Relational Database Schemes STOC 1979 : 319-329 Catriel Beeri, Philip A. Bernstein : Computational Problems Related to the Design of Normal Form Relational Schemas. ACM Trans. Database Syst. 4 (1): 30-59 (1979) Alfred V. Aho , Catriel Beeri, Jeffrey D. Ullman : The Theory of Joins in Relational Databases. ACM Trans. Database Syst. 4 (3): 297-314 (1979) Catriel Beeri, Philip A. Bernstein , Nathan Goodman : A Sophisticate's Introduction to Database Normalization Theory. VLDB 1978 : 113-124 Alfred V. Aho , Catriel Beeri, Jeffrey D. Ullman : The Theory of Joins in Relational Data Bases (Extended Abstract) FOCS 1977 : 107-113 Catriel Beeri, Ronald Fagin , John H. Howard : A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations. SIGMOD Conference 1977 : 47-61 Catriel Beeri: An Improvement on Valiant's Decision Procedure for Equivalence of Deterministic Finite Turn Pushdown Machines. Theor. Comput. Sci. 3 (3): 305-320 (1976) Catriel Beeri: An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata FOCS 1975 : 128-134 Catriel Beeri: Two-Way Nested Stack Automata Are Equivalent to Two-Way Stack Automata. J. Comput. Syst. Sci. 10 (3): 317-339 (1975) E. Shamir , Catriel Beeri: Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages. ICALP 1974 : 27-33 1 [ 38 ] [ 71 ] 2 [ 6 ] [ 8 ] 3 [ 88 ] 4 [ 87 ] [ 89 ] [ 90 ] [ 91 ] [ 92 ] 5 [ 33 ] [ 36 ] [ 46 ] 6 [ 7 ] [ 9 ] [ 23 ] [ 44 ] 7 [ 84 ] 8 [ 85 ] [ 86 ] 9 [ 26 ] 10 [ 95 ] 11 [ 79 ] 12 [ 94 ] 13 [ 85 ] [ 86 ] 14 [ 5 ] [ 18 ] [ 21 ] [ 26 ] 15 [ 81 ] 16 [ 87 ] [ 89 ] [ 90 ] [ 91 ] [ 92 ] 17 [ 73 ] 18 [ 7 ] [ 23 ] [ 44 ] 19 [ 38 ] 20 [ 38 ] 21 [ 75 ] [ 77 ] 22 [ 85 ] [ 86 ] 23 [ 73 ] 24 [ 15 ] 25 [ 5 ] 26 [ 85 ] [ 86 ] 27 [ 94 ] 28 [ 33 ] [ 36 ] [ 46 ] 29 [ 93 ] [ 95 ] 30 [ 22 ] [ 28 ] [ 31 ] [ 32 ] [ 34 ] 31 [ 79 ] 32 [ 79 ] 33 [ 49 ] [ 50 ] [ 51 ] [ 61 ] [ 67 ] 34 [ 20 ] 35 [ 39 ] 36 [ 18 ] [ 21 ] 37 [ 68 ] 38 [ 10 ] [ 16 ] [ 18 ] 39 [ 55 ] [ 56 ] [ 58 ] [ 62 ] [ 72 ] [ 74 ] [ 76 ] [ 78 ] [ 79 ] [ 83 ] [ 94 ] 40 [ 81 ] 41 [ 79 ] 42 [ 37 ] [ 53 ] 43 [ 40 ] 44 [ 17 ] 45 [ 70 ] 46 [ 33 ] [ 35 ] [ 36 ] [ 37 ] [ 39 ] [ 46 ] [ 52 ] [ 57 ] [ 64 ] 47 [ 75 ] [ 77 ] 48 [ 93 ] [ 95 ] 49 [ 10 ] [ 16 ] [ 79 ] [ 93 ] [ 95 ] 50 [ 42 ] [ 88 ] 51 [ 68 ] 52 [ 87 ] [ 89 ] [ 90 ] [ 91 ] [ 92 ] 53 [ 88 ] 54 [ 1 ] 55 [ 70 ] 56 [ 37 ] [ 53 ] [ 79 ] 57 [ 79 ] 58 [ 57 ] [ 64 ] 59 [ 26 ] 60 [ 68 ] 61 [ 57 ] [ 64 ] 62 [ 65 ] [ 74 ] [ 78 ] 63 [ 85 ] [ 86 ] 64 [ 85 ] [ 86 ] 65 [ 80 ] 66 [ 79 ] 67 [ 37 ] [ 40 ] [ 53 ] 68 [ 85 ] [ 86 ] 69 [ 82 ] 70 [ 6 ] [ 8 ] [ 10 ] [ 16 ] [ 18 ] 71 [ 11 ] [ 13 ] [ 14 ] [ 19 ] [ 24 ] [ 25 ] [ 27 ] [ 30 ] 72 [ 87 ] [ 90 ] 73 [ 42 ] 74 [ 18 ] [ 21 ] 75 [ 73 ]  ©2006 Association for Computing Machinery |
