H ? « ‹ ← → › »

Language peer sets for Machiavelli:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Machiavelli(ID:1496/mac010)

Fucntional database language 

alternate simple view
Country: United States
Designed 1989
Published: 1989

Peter Buneman & Atsushi Ohori, U Pennsylvania, 1989. An extension of Standard ML based on orthogonal persistence.
Related languages
SML → Machiavelli   Extension of
Machiavelli → CPL   Influence
References:
  • Ohori, Atsushi; Buneman, Peter; Tannen, Val (1989) Ohori, Atsushi; Buneman, Peter; Tannen, Val "Database Programming in Machiavelli, a Polymorphic Language with Static Type Inference" Abstract
          in [ACM] (1989) [ACM] Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, OR, May 1989
  • Tannen, Val; Buneman, Peter; Naqvi, S. (1991) Tannen, Val; Buneman, Peter; Naqvi, S. "Structural Recursion as a Query Language" Abstract
          in (1991) Proceedings of 3rd International Workshop on Database Programming Languages (1991)
  • Tannen, Val; Subrahmanyam, R. (1991) Tannen, Val; Subrahmanyam, R. "Logical and Computational Aspects of Programming with Sets/Bags/Lists" Proceedings of 18th International Colloquium on Automata, Languages, and Programming LNCS 510 1991 Abstract
          in (1991) Proceedings of 3rd International Workshop on Database Programming Languages (1991)
  • Tannen, Val; Buneman, Peter; Wong, Limsoon (1992) Tannen, Val; Buneman, Peter; Wong, Limsoon "Naturally Embedded Query Languages" International Conference on Database Theory (ICDT) 1992 Abstract
          in (1991) Proceedings of 3rd International Workshop on Database Programming Languages (1991)
  • Suciu, Dan; Tannen, Val (1994) Suciu, Dan; Tannen, Val "A Query Language for NC" Abstract
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
  • Tannen, Val (1994) Tannen, Val "Languages for Collection Types" Tutorial Abstract
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
  • Buneman, Peter; Naqvi, Shamim; Tannen, Val, Wong, (1995) Buneman, Peter; Naqvi, Shamim; Tannen, Val, Wong, Limsoon "Principles of Programming with Collection Types" Theoretical Computer Science (1995)
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
  • Davidson, Susan; Overton, Chris; Tannen, Val; Wong (1997) Davidson, Susan; Overton, Chris; Tannen, Val; Wong, Limsoon "BioKleisli: A Digital Library for Biomedical Researchers" Journal of Digital Libraries 1997
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
  • Lellahi, Kazem; Tannen, Val (1997) Lellahi, Kazem; Tannen, Val "A Calculus for Collections and Aggregates" LNCS 1290: Category Theory and Computer Science, Proceedings of the 7th Int'l Conference, CTCS'97 (1997)
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
  • Buneman, Peter; Crabtree, Jonathan; Davidson, Susa (1998) Buneman, Peter; Crabtree, Jonathan; Davidson, Susan; Tannen, Val; Wong, Limsoon "BioKleisli" Bioinformatics, edited by S. Letovsky (Kluwer Academic Publishers) 1998
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
  • Popa, Lucian; Tannen, Val (1998) Popa, Lucian; Tannen, Val "Chase and axioms for PC queries and dependencies" Technical Report MS-CIS-98-34 1998
          in (1994) Proceedings of ACM Symposium on Principles of Database Systems (PODS) 1994
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder