Person: Catriel Beeri

DBLP: Beeri:Catriel

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2012

2007

2007

2006

2005

2004

1997

1996

1993

1993

1992

1991

1990

1990

1988

1987

1984

1983

1982

1981

1981

1981

1979

1978

1977

1974

Wrote 30 papers:

ITiCSE-2012-LibermanKB #education

A model of CS teachers’ knowledge growth (NL, YBDK, CB), p. 383.

SIGMOD-2007-BeeriEMP #monitoring #process

Query-based monitoring of BPEL business processes (CB, AE, TM, AP), pp. 1122–1124.

VLDB-2007-BeeriPME #monitoring #process #query

Monitoring Business Processes with Queries (CB, AE, TM, AP), pp. 603–614.

VLDB-2006-BeeriEKM #process #query

Querying Business Processes (CB, AE, SK, TM), pp. 343–354.

VLDB-2005-UniversityIEKM #process #query

Querying Business Processes with BP-QL (CB, AE, SK, TM), pp. 1255–1258.

VLDB-2004-BeeriKSS #information management

Object Fusion in Geographic Information Systems (CB, YK, ES, YS), pp. 816–827.

PODS-1997-BeeriLR #logic #query #using

Rewriting Queries Using Views in Description Logics (CB, AYL, MCR), pp. 99–108.

PODS-1996-BeeriMT #on the #parametricity

On Genericity and Parametricity (CB, TM, PTS), pp. 104–116.

ILPS-1993-SudarshanSRB #semantics

Extending the Well-Founded and Valid Semantics for Aggregation (SS, DS, RR, CB), pp. 590–608.

SIGMOD-1993-BeeriM #algebra #on the #power of #recursion

On the Power of Algebras with Recursion (CB, TM), pp. 377–386.

PODS-1992-Beeri #challenge #modelling

New Data Models and Languages — the Challenge (CB), pp. 1–15.

PODS-1992-BeeriM #functional #programming

Functional and Predicative Programming in OODB’s (CB, TM), pp. 176–190.

PODS-1992-BeeriRSS #logic programming #semantics #source code

The Valid Model Semantics for Logic Programs (CB, RR, DS, SS), pp. 91–104.

PODS-1991-BeeriM #type system

Subtyping in OODB’s (CB, TM), pp. 300–314.

CLP-1990-Beeri90 #database #logic programming

Logic Programming and Databases (CB), p. 783.

ECHT-1990-BeeriK #hypermedia #logic #query

A Logical Query Language for Hypertext Systems (CB, YK), pp. 67–80.

PODS-1988-RamakrishnanBK #datalog #optimisation #query

Optimizing Existential Datalog Queries (RR, CB, RK), pp. 89–102.

PODS-1987-BeeriKBR #bound #logic programming #source code

Bounds on the Propagation of Selection into Logic Programs (CB, PCK, FB, RR), pp. 214–226.

PODS-1987-BeeriNRST #database #logic #set

Sets and Negation in a Logic Database Language (LDL1) (CB, SAN, RR, OS, ST), pp. 21–37.

PODS-1987-BeeriR #on the #power of

On the Power of Magic (CB, RR), pp. 269–284.

VLDB-1984-BeeriK #approach #database #design #relational

Comprehensive Approach to the Design of Relational Database Schemes (CB, MK), pp. 196–207.

PODS-1983-BeeriK #database

Elimination of Intersection Anomalies from Database Schemes (CB, MK), pp. 340–351.

PODS-1982-BeeriK

Compatible Attributes in a Universal Relation (CB, HFK), pp. 55–62.

ICALP-1981-BeeriV #dependence #problem

The Implication Problem for Data Dependencies (CB, MYV), pp. 73–85.

STOC-1981-BeeriFMMUY #database

Properties of Acyclic Database Schemes (CB, RF, DM, AOM, JDU, MY), pp. 355–362.

VLDB-1981-BeeriO #algorithm #concurrent #detection #independence

A Resource Class Independent Deadlock Detection Algorithm (CB, RO), pp. 166–178.

STOC-1979-BeeriMSU #database #equivalence #relational

Equivalence of Relational Database Schemes (CB, AOM, YS, JDU), pp. 319–329.

VLDB-1978-BeeriBG #database #normalisation

A Sophisticate’s Introduction to Database Normalization Theory (CB, PAB, NG), pp. 113–124.

SIGMOD-1977-BeeriFH #axiom #database #dependence #functional #multi

A Complete Axiomatization for Functional and Multivalued Dependencies in Database Relations (CB, RF, JHH), pp. 47–61.

ICALP-1974-ShamirB

Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages (ES, CB), pp. 27–33.