𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressive Power of Specification Languages

✍ Scribed by Ian J. Hayes

Publisher
Springer
Year
1998
Tongue
English
Weight
64 KB
Volume
10
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Expressive power of SQL
Expressive power of SQL
✍ Leonid Libkin πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 254 KB

It is a folk result in database theory that SQL cannot express recursive queries such as reachability; in fact, a new construct was added to SQL3 to overcome this limitation. However, the evidence for this claim is usually given in the form of a reference to a proof that relational algebra cannot ex

Learning power and language expressivene
Learning power and language expressiveness
✍ Eric Martin; Arun Sharma; Frank Stephan πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 205 KB

The topic of the present work is to study the relationship between the power of the learning algorithms on the one hand, and the expressive power of the logical language which is used to represent the problems to be learned on the other hand. The central question is whether enriching the language re