Requirements on a Language for Logical Data Processing.
Peter LucasPublished in: IFIP Congress (1962)
Keyphrases
- data processing
- data manipulation
- logical language
- computer systems
- language learning
- data management
- data acquisition
- programming language
- data analysis
- user requirements
- specification language
- functional requirements
- formal semantics
- formal language
- database systems
- relational query languages
- predicate calculus
- logical reasoning
- lambda calculus
- real time
- logical structure
- computational linguistics
- requirements engineering
- language processing
- data mining