H ? « ‹ ← → › »

Language peer sets for Nail:
United States↑
United States/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Business Data Processing ↑
Business Data Processing/1986↑
Business Data Processing/us ↑

Nail(ID:5795/nai001)

alternate simple view
Country: United States
Designed 1986
Sammet category: Business Data Processing

for Not Another Implementation Language!

Jeffrey Ullman and Katherine Morris, Stanford

Declarative database language, became half of Glue-NAIL!

Uses "adornments" to abstract actual bindings of arguments and variables to relations

NAIL! is the system, Nail is the language
Related languages
Nail → Glue-Nail   Subsumed
References:
  • Ullman, Jeffrey D. (1985) Ullman, Jeffrey D. "Implementation of logical query languages for databases" Abstract
          in (1985) ACM Transactions on Database Systems (TODS) 10 (3) September 1985
  • Morris, Katherine; Unman, Jeffrey and van Gelder, (1986) Morris, Katherine; Unman, Jeffrey and van Gelder, Allen "Design Overview of the NAIL! System" pp554-568
          in [Proceedings] (1986) Proceedings 3rd International Conference on Logic Programming, New York, 1986, Springer-Verlag
  • Morris, K; Naughton, J F; Sararya, Y; Ullman, J D (1987) Morris, K; Naughton, J F; Sararya, Y; Ullman, J D and A Van Gelder "YAWN! (Yet Another Window on NAIL!)," unpubhshed memorandum, Dept of CS, Stanford Uni, to appear In Database Engineering 1987

    Internal error

    LETVAR\\\: Invalid procedure call or argument 5 ProtiumLPNDB at strContent Checking wild card

          in [Proceedings] (1986) Proceedings 3rd International Conference on Logic Programming, New York, 1986, Springer-Verlag
  • Morris, Katherine A. (1988) Morris, Katherine A. "An algorithm for ordering subgoals in NAIL?" pp82-88 Abstract DOI
          in (1988) Proceedings of the 1988 ACM SIGMOD international conference on Management of Data
  • Phipps, G.; Derr, M. A. and K. A. Ross (1991) Phipps, G.; Derr, M. A. and K. A. Ross "Glue-NAIL!: A deductive database system" pp308-317 Extract: Introduction
          in (1991) Proceedings of the 1991 ACM SIGMOD Conference on Management of Data
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder