Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 15 of 20.

Add to Quick Collection   All 20 Results

Sort:
 Add All Items to Quick Collection
Date: 2016
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1070773
Description: There are many different types of lenses, but largely they fall into the three classes of the title: set-based, delta-based and edit-based lenses. This paper develops some of the general relationships ... More
Reviewed: Reviewed
Date: 2015
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1049984
Description: Spans are pairs of arrows with a common domain. Despite their symmetry, spans are frequently viewed as oriented transitions from one of the codomains to the other codomain. The transition along an ori ... More
Reviewed: Reviewed
Date: 2015
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1049996
Description: As part of an ongoing project to unify the treatment of symmetric lenses (of various kinds) as equivalence classes of spans of asymmetric lenses (of corresponding kinds) we relate the symmetric delta ... More
Reviewed: Reviewed
Date: 2014
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/332733
Description: Corresponding to the variety of notions of asymmetric lens, various notions of symmetric lens have been proposed. A common theory of the various asymmetric and symmetric lenses should result from a st ... More
Reviewed: Reviewed
Date: 2013
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/312278
Description: We compare the delta lenses, also known as d-lenses, of Diskin et al. with the c-lenses, known to be equivalent to opfibrations, already studied by the authors. Contrary to expectation a c-lens is a d ... More
Reviewed: Reviewed
Date: 2012
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/205736
Description: Many authors have argued, for good reasons, that in a range of applications the lens put-put law is too strong. On the other hand, the present authors have shown that very well behaved lenses, which d ... More
Reviewed: Reviewed
Date: 2012
Subject Keyword: 010100 Pure Mathematics
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/154315
Description: This paper extends the ‘lens’ concept for view updating in Computer Science beyond the categories of sets and ordered sets. It is first shown that a constant complement view updating strategy also cor ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/124438
Description: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and mee ... More
Full Text: Full Text
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/120200
Description: In this chapter we review a category theoretic approach to ontology engineering. Using ideas from universal algebra, we carefully distinguish presentations of ontologies from the ontologies themselves ... More
Date: 2007
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/146611
Description: Maintainability and modifiability of information system software can be enhanced by the provision of comprehensive support for views, since view support allows application programs to continue to oper ... More
Reviewed: Reviewed
Date: 2003
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/1098949
Description: 6 page(s)
Reviewed: Reviewed
Date: 2003
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/6706
Description: Partial information is common in real-world databases. Yet the theoretical foundations of data models are not designed to support references to missing data (often termed nulls). Instead, we usually a ... More
Reviewed: Reviewed
Date: 2002
Subject Keyword: information systems design
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/8160
Description: Entity-Relationship-Attribute ideas are commonly used to specify and design information systems. They use a graphical technique for displaying the objects of the system and relationships among them. T ... More
Date: 2002
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1176245
Description: 13 page(s)
Reviewed: Reviewed
Date: 2001
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1177627
Description: 6 page(s)
Reviewed: Reviewed