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

Alexander Serebrenik

Papers on DiSC'02


Algorithms for Rewriting Aggregate Queries Using Views

Publications


Note: Links lead to the DBLP on the Web.

Alexander Serebrenik

16 Danny De Schreye , Alexander Serebrenik: Acceptability with General Orderings. Computational Logic: Logic Programming and Beyond 2002 : 187-210

15 Alexander Serebrenik, Danny De Schreye : On Termination of Logic Programs with Floating Point Computations. SAS 2002 : 151-164

14 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Yehoshua Sagiv , Werner Nutt , Alexander Serebrenik: EquiX - A search and query language for XML. JASIST 53 (6): 454-466 (2002)

13 Alexander Serebrenik, Danny De Schreye : On Termination of Meta-Programs. LPAR 2001 : 517-530

12 Alexander Serebrenik, Danny De Schreye : Inference of Termination Conditions for Numerical Loops in Prolog. LPAR 2001 : 654-668

11 Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. Applicable Algebra in Engineering, Communication and Computing 12 (1/2): 117-156 (2001)

10 Sara Cohen , Werner Nutt , Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000 : 65-78

9 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik: Combining the Power of Searching and Querying. CoopIS 2000 : 54-65

8 Alexander Serebrenik, Danny De Schreye : Non-tranformational termination analysis of logic programs, based on general term-orderings. LOPSTR 2000

7 Alexander Serebrenik, Danny De Schreye : Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. LOPSTR (LNCS 2042: Selected Papers) 2000 : 69-85

6 Sara Cohen , Werner Nutt , Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999 : 9

5 Sara Cohen , Werner Nutt , Alexander Serebrenik: Rewriting Aggregate Queries Using Views. PODS 1999 : 155-166

4 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik: EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999 : 43-48

3 Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electronic Notes in Theoretical Computer Science 30 (1): (1999)

2 Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997 : 444-447

1 Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: Unfolding the Mystery of Mergesort . LOPSTR 1997 : 206-225




DiSC'02 © 2003 Association for Computing Machinery