Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/24647
Título: | Functions as types or the "Hoare logic" of functional dependencies |
Autor(es): | Oliveira, José Nuno Fonseca |
Palavras-chave: | Unifying theories of programming Data dependencies |
Data: | Mai-2012 |
Citação: | Ol12 |
Resumo(s): | Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional types and an associated type system which is useful for type checking database operations and for query optimization. Such a typed approach to database programming is then shown to be of the same family as other programming logics such as eg. Hoare logic or that of strongest invariant functions which has been used in the analysis of while statements. The prospect of using automated deduction systems such as Prover9 for type-checking and query optimization on top of such an algebraic approach is considered. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/24647 |
Versão da editora: | http://arxiv.org/abs/1210.4661 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Relatórios técnicos |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1210.4661v1.pdf | Documento principal | 256,43 kB | Adobe PDF | Ver/Abrir |