Datalog^A: Array Manipulations in a Deductive Database Language.

@inproceedings{DBLP:conf/dasfaa/GrecoPS95,
  author    = {Sergio Greco and
               Luigi Palopoli and
               Eugenio Spadafora},
  editor    = {Tok Wang Ling and
               Yoshifumi Masunaga},
  title     = {Datalog$^{\mbox{A}}$: Array Manipulations in a Deductive Database Language},
  booktitle = {Database Systems for Advanced Applications '95, Proceedings of
               the 4th International Conference on Database Systems for Advanced
               Applications (DASFAA), Singapore, April 11-13, 1995},
  publisher = {World Scientific},
  series    = {Advanced Database Research and Development Series},
  volume    = {5},
  year      = {1995},
  isbn      = {981-02-2220-3},
  pages     = {180-188},
  ee        = {db/conf/dasfaa/GrecoPS95.html},
  crossref  = {DBLP:conf/dasfaa/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15

[2]

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

[3]

Sergio Greco, Carlo Zaniolo: Optimization of Linear Logic Programs Using Counting Methods. EDBT 1992: 72-87

[4]

Sergio Greco, Luigi Palopoli, Eugenio Spadafora: Extending Datalog with Arrays. Data Knowl. Eng. 17(1): 31-57(1995)

[5]

David Maier, Bennet Vance: A Call to Order. PODS 1993: 1-16

[6]

Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman: Argument Reduction by Factoring. VLDB 1989: 173-182

[7]

Jeffrey F. Naughton, Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman: Efficient Evaluation of Right-, Left-, and Mult-Lineare Rules. SIGMOD Conference 1989: 235-242

[8]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250

[9]

Oded Shmueli: Decidability and Expressiveness of Logic Queries. PODS 1987: 237-249

[10-1]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

[10-2]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents