ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Sorted HiLog: Sorts in Higher-Order Logic Data Languages.

Weidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265
@inproceedings{DBLP:conf/icdt/ChenK95,
  author    = {Weidong Chen and
               Michael Kifer},
  editor    = {Georg Gottlob and
               Moshe Y. Vardi},
  title     = {Sorted HiLog: Sorts in Higher-Order Logic Data Languages},
  booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague,
               Czech Republic, January 11-13, 1995, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {893},
  year      = {1995},
  isbn      = {3-540-58907-4},
  pages     = {252-265},
  ee        = {db/conf/icdt/ChenK95.html},
  crossref  = {DBLP:conf/icdt/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[1]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374 BibTeX
[2]
Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 BibTeX
[3]
Weidong Chen: A Theory of Modules Based on Second-Order Logic. SLP 1987: 24-33 BibTeX
[4]
...
[5]
...
[6]
Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230(1993) BibTeX
[7]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 BibTeX
[8]
...
[9]
Anthony G. Cohn: A More Expressive Formulation of Many Sorted Logic. J. Autom. Reasoning 3(2): 113-200(1987) BibTeX
[10]
...
[11]
...
[12]
...
[13]
Michael Hanus: Polymorphic High-Order Programming in Prolog. ICLP 1989: 382-397 BibTeX
[14]
Michael Hanus: Parametric Order-Sorted Types in Logic Programming. TAPSOFT, Vol.2 1991: 181-200 BibTeX
[15]
...
[16]
Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX
[17]
Michael Kifer, James Wu: A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991: 310-321 BibTeX
[18]
Inderpal Singh Mumick, Kenneth A. Ross: An Architecture for Declarative Object-Oriented Databases. Workshop on Deductive Databases, JICSLP 1992: 21-30 BibTeX
[19]
Alan Mycroft, Richard A. O'Keefe: A Polymorphic Type System for Prolog. Artif. Intell. 23(3): 295-307(1984) BibTeX
[20]
Gopalan Nadathur, Dale Miller: Higher-Order Horn Clauses. J. ACM 37(4): 777-814(1990) BibTeX
[21]
...
[22]
Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 BibTeX
[23]
Kenneth A. Ross: Relations with Relation Names as Arguments: Algebra and Calculus. PODS 1992: 346-353 BibTeX
[24]
Kenneth A. Ross: On Negation in HiLog. J. Log. Program. 18(1): 27-53(1994) BibTeX
[25]
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 BibTeX
[26]
...
[27]
Gert Smolka: Logic Programming with Polymorphically Order-Sorted Types. ALP 1988: 53-70 BibTeX
[28]
...
[29]
...
[30]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
[31]
Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artif. Intell. 26(2): 217-224(1985) BibTeX
[32]
Jiyang Xu, David Scott Warren: A Type Inference System for Prolog. ICLP/SLP 1988: 604-619 BibTeX
[33]
Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393 BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:19:08 2009