Operational Data Storage Unification
نویسنده
چکیده
We see a world where personal system software is self-installing, self-configuring, self-personalizing, self-administering, and self-healing. In this world, personal system data is visible in a single name space regardless of " owning " application and data location, supports uniform non-procedural query, transactions, and security, is automatically backed up, is recoverable, and supports portable and disconnected operation. This paper focuses on how database technology can be applied to help achieve many of these goals. We propose an integrated storage manager, the Virtual Object File System (VOFS), which supports structured files, unstructured files, and relational access. VOFS also supports disconnected operations by caching and replicating all data stored via any of the supported persistence APIs. We show how the combination of support for storage integration and disconnected and portable operation found in VOFS can substantially reduce administrative costs and support more compelling client applications. The VOFS system can be extended to support alternative caching systems, new access methods based upon past navigational paths and temporal access, and different software and data billing schemes. Acknowledgements I would like to thank my supervisor Dr. Jacob Slonim and reader Dr. Grant Weddell for advice, comments, and suggestions throughout this project that have both improved the paper and my understanding of the subject material. Dr. Pat Selinger of the IBM Almaden Research Center provided numerous invaluable technical and editorial comments and was always available for technical discussion. I would also like to thank Dr. Paul Larson of Microsoft Research for time, advice, and education in the early stages of the degree program. The IBM Canada Laboratory provided financial assistance for this work through the CONGESE program.
منابع مشابه
Datalog Relaunched: Simulation Unification and Value Invention
For reasoning on the Web, Datalog is lacking data extraction and value invention. This article proposes to overcome these limitations with “simulation unification” and “RDFLog”. Simulation unification is a non-standard unification inspired from regular path queries. Like standard unification, it yields bindings for variables in both terms to unify. Unlike standard unification, it does not try t...
متن کاملA Functional Logic Language Based on Higher Order Narrowing
Functional logic languageshave a syntax like a purely functional language but use narrowing as operational semantics. We present the functional logic language Higher Order Babel which provides higher order unification for parameter passing and solving equations. When searching for a function which solves an equation “polynomial functions” as well as defined functions are taken into account. In ...
متن کاملThe Effects of Exchange Rate Unification on the Iranian Economy
The exchange rate unification is one of the most important instruments of economic adjustment, which is used in many countries. This paper shows the effects of the exchange rate unification on price level (inflation), gross domestic production (GDP), non-oil exports, private conception, government expenditure and stock of money. The data, is used related to the period 1959-2000. To analyze the ...
متن کاملThe Role of Inflation Targeting in Exchange Rate Unification Policy: Difference-in-Differences Approach
Generally, one of the important issue in open macroeconomics and international finance literature is the innovations of exchange rate regimes, and exchange rate unification policy is one of the most important reforming policies in developing and emerging countries. By considering the experience of other emerging countries for exchange rates unification policy in this study, it will be investig...
متن کاملAn efficient fuzzy unification method and its implementation into the Bousi~Prolog system
Bousi∼Prolog is a fuzzy logic programming language whose main objective is to make flexible the query answering process. Its operational mechanism is a extension of the SLD-resolution (called weak resolution) where the classical syntactic unification algorithm has been replaced by a fuzzy one. This paper presents a generic method for the unification of linguistic terms (i.e. fuzzy sets) which i...
متن کاملAvoiding Equivariance in Alpha-Prolog
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving bound names. In αProlog, the nominal unification algorithm of Urban, Pitts and Gabbay is used instead of first-order unification. However, although αProlog can be viewed as Horn-clause logic programming in Pitts’ nomin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997