26 research outputs found
Transforming data by calculation
Get PDFThispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into âflatâ database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a CiĂȘncia e a Tecnologia (FCT
Efeitos da parede de levedura em dieta Ășmida na microbiota fecal, na produção de gĂĄs e na morfologia intestinal de gatos adultos
Full text linkHuishoudvoering met een laag inkomen. Theoretische aanzetten voor de bestudering van strategieen in het huishoudelijk handelen bij beleidsminima.
No full text
Huishoudvoering met een laag inkomen. Theoretische aanzetten voor de bestudering van strategieen in het huishoudelijk handelen bij beleidsminima.
No full textGenerational Accounting, Solidarity and Pension Losses
No full textPension funds, generational accounts, portfolio choice, Life cycle Models, D91, G11, G23,
Ice shelf structure derived from dispersion curve analysis of ambient seismic noise, Ross Ice Shelf, Antarctica
No full text
