Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6655
Full metadata record
DC FieldValueLanguage
dc.contributor.authorJosé Nuno Oliveiraen
dc.date.accessioned2018-01-17T11:38:57Z-
dc.date.available2018-01-17T11:38:57Z-
dc.date.issued2014en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/6655-
dc.identifier.urihttp://dx.doi.org/10.1016/j.jlap.2014.02.013en
dc.description.abstract.Abstract algebra has the power to unify seemingly disparate theories once they are encoded into the same abstract formalism. This paper shows how a relation-algebraic rendering of both database dependency theory and Hoare programming logic purports one such unification, in spite of the latter being an algorithmic theory and the former a data theory. The approach equips relational data with functional types and an associated type system which is useful for database operation type checking and optimization. The prospect of a generic, unified approach to both programming and data theories on top of libraries already available in automated deduction systems is envisaged.en
dc.languageengen
dc.relation5601en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleA relation-algebraic approach to the "Hoare logic" of functional dependenciesen
dc.typearticleen
dc.typePublicationen
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-009-NAA.pdf357.06 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.