Ohori, A., Tajima, K.: A polymorphic calculus for views and object sharing. In: ACM PODS'94. (1994) 255--266 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Language for Bi-Directional Tree Transformations - Greenwald, Moore, Pierce.. (2003) (10 citations) (Correct)
....grammars annotated with semantic information) Thus their get involved parsing, whereas their put consisted of unparsing. Again, to resolve ambiguous abstract updates, they restrict themselves to lossless grammars that define an isomorphism between concrete and abstract views. Ohori and Tajima [25] develop a statically typed polymorphic record calculus for defining views on objectoriented databases. They specifically restrict which fields of a view are updatable, allowing only those with a ground (simple) type to be updated, whereas our lenses can accomodate structural updates as well. The ....
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In PODS'94, 1994.
A Language for Bi-Directional Tree Transformations - Greenwald, Moore, Pierce.. (2003) (10 citations) (Correct)
....grammars annotated with semantic information) Thus their get involved parsing, whereas their put consisted of unparsing. Again, to resolve ambiguous abstract updates, they restrict themselves to lossless grammars that define an isomorphism between concrete and abstract views. Ohori and Tajima [24] develop a statically typed polymorphic record calculus for defining views on object oriented databases. They specifically restrict which fields of a view are updatable, allowing only those with a ground (simple) type to be updated, whereas our lenses can accomodate structural updates as well. ....
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In PODS'94, 1994.
Static Detection of Security Flaws in Object-Oriented Databases - Tajima (1996) (1 citation) Self-citation (Tajima) (Correct)
....is introduced to analyze the user s write capability, is also used to examine more elaborately how the user can update the data, and to investigate how it interacts with inferability. There are many researches on access control using views in object oriented databases [TYI88, HZ90, AB91, Run92, OT94] Although the idea of access control using views defined by functions is essentially the same concept with access control using functions, those researches do not discuss security issues. Our technique can be applied to the verification of view definitions in those systems as well. In [DAH ....
.... name dependent access control, and a kind of context dependent control [FSW81] Contentdependent control, which is control depending on the contents of the actual data, could be also integrated by introducing some existing techniques, such as classes with predicates [TYI88, AB91, SLT91, Run92, OT94] The function definition language we defined in this research is quite simple language. Including more language features into it, such as conditional branch, recursion, and polymorphism, is also an important issue for future researches. We also assume a rather simple data model in this ....
Atsushi Ohori and Keishi Tajima. A polymorphic calculus for views and object sharing. In Proc. of ACM PODS, pages 255--266, May 1994.
Bidirectionalizing Tree Transformations - Zhenjiang Hu Kento (Correct)
No context found.
Ohori, A., Tajima, K.: A polymorphic calculus for views and object sharing. In: ACM PODS'94. (1994) 255--266
An Algebraic Approach to Bi-Directional Updating - Mu, Hu, Takeichi (2004) (2 citations) (Correct)
No context found.
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 255--266. ACM Press, 1994.
A Language for Bidirectional Updating Based on Injective Mapping - Mu, Hu, Takeichi (Correct)
No context found.
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 255--266. ACM Press, 1994.
Combinators for Bi-Directional Tree.. - Foster.. (2004) (2 citations) (Correct)
No context found.
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In PODS'94, 1994.
A Language for Bi-Directional Tree Transformations - Michael Greenwald Jonathan (2003) (10 citations) (Correct)
No context found.
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In PODS'94, 1994.
A Programmable Editor for Developing Structured Documents.. - Hu, Mu, Takeichi (2004) (1 citation) (Correct)
No context found.
Atsushi Ohori and Keishi Tajima. A polymorphic calculus for views and object sharing. In ACM PODS'94, pages 255--266, 1994.
An Algebraic Approach to Bi-Directional Updating - Mu, Hu, Takeichi (2004) (2 citations) (Correct)
No context found.
A. Ohori and K. Tajima. A polymorphic calculus for views and object sharing. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 255--266. ACM Press, 1994.
A Programmable Editor for Developing Structured Documents.. - Hu, Mu, Takeichi (2004) (1 citation) (Correct)
No context found.
Atsushi Ohori and Keishi Tajima. A polymorphic calculus for views and object sharing. In ACM PODS'94, pages 255--266, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC