72 research outputs found
Study on data security and confidentiality. Volume 5. Section 5: Technical aspects of the right of access
Comprehension Syntax
The syntax of comprehensions is very close to the syntax of a number of practical database query languages and is, we believe, a better starting point than first-order logic for the development of database languages. We give an informal account of a language based on comprehension syntax that deals uniformly with a variety of collection types; it also includes pattern matching, variant types and function definition. We show, again informally, how comprehension syntax is a natural fragment of structural recursion, a much more powerful programming paradigm for collection types. We also show that a very small "abstract syntax language" can serve as a basis for the implementation and optimization of comprehension syntax
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and appropriate for database applications. In particular, a function that selects a field f of a records is polymorphic in the sense that it can be applied to any record which contains a field f with the appropriate type. When combined with a set data type and database operations including join and projection, this provides a natural medium for relational database programming. Moreover, by implementing database objects as reference types and generating the appropriate views — sets of structures with “identity ” — we can achieve a degree of static type checking for object-oriented databases.
Necessary and sufficient conditions to linearize doubly recursive programs in logic databases
Study on data security and confidentiality. Volume 3. Section 3: The physical person/nonphysical person problem.
Réflexions sur les enchaînements de fonctionnements au cours du cycle des végétaux supérieurs
Rôle des facteurs climatiques sur la sélection naturelle de la structure des populations de Phyllanthus urinaria en Guyane
Rôle des facteurs climatiques sur la sélection naturelle de la structure des populations de Phyllanthus urinaria en Guyane
- …