Users of a formal language system face the problem of ensuringnthat their syntactically-valid constructions in that language are validnreflections of their semantic intentions. The work described develops anmethod for validating relational algebra query language expressions putnto a relational database, through the automatic generation of naturalnlanguage descriptions of the relations derived by query languagenoperations
展开▼
