-
Research Pearl: The ROSI Operating System Interface
Authors:
Robert Soulé,
Peter Alvaro,
Henry F. Korth,
Abraham Silberschatz
Abstract:
This paper presents some preliminary results concerning a new user-friendly operating system interface based on the relational data model that is currently under development at the University of Texas at Austin. The premise of our work is that a relational model of the operating system environment wil produce a user and programmer interface to the system: is easier to use, is easier to learn, and…
▽ More
This paper presents some preliminary results concerning a new user-friendly operating system interface based on the relational data model that is currently under development at the University of Texas at Austin. The premise of our work is that a relational model of the operating system environment wil produce a user and programmer interface to the system: is easier to use, is easier to learn, and allows greater portability as compared with existing operating system interfaces. Our approach is to model elements of the operating system environment as relations and to model operating system commands as statements in a relational language.
In adapting the relational model to an operating system environment, we found it necessary to extend the model and improve existing relational languages. The extensions to the relational model are designed to allow a more natural representation of elements of the environment. Our language extensions exploit the universal relation model and utilize the graphical capabilities of modern workstations. The nature of our investigations is ranging from practical implementation issues to the more theoretical questions of modeling and language semanties.
△ Less
Submitted 23 July, 2024;
originally announced September 2024.
-
A case for location based contact tracing
Authors:
Atul Pokharel,
Robert Soulé,
Avi Silberschatz
Abstract:
We present an evaluation of the effectiveness of manual contact tracing compared to bulletin board contact tracing. We show that bulletin board contact tracing gives comparable results in terms of the reproductive number, duration, prevalence and incidence but is less resource intensive, easier to implement and offers a wider range of privacy options. Classical contact tracing focuses on contactin…
▽ More
We present an evaluation of the effectiveness of manual contact tracing compared to bulletin board contact tracing. We show that bulletin board contact tracing gives comparable results in terms of the reproductive number, duration, prevalence and incidence but is less resource intensive, easier to implement and offers a wider range of privacy options. Classical contact tracing focuses on contacting individuals whom an infectious person has been in proximity to. A bulletin board approach focuses on identifying locations visited by an infectious person, and then contacting those who were at those locations. We present results comparing their effects on the overall reproductive number as well as the incidence and prevalence of disease. We evaluate them by building a new discrete time stochastic model based on the Susceptible Exposed Infectious and Recovered (SEIR) framework for disease spread. We conduct simulation experiments to quantify the effectiveness of these two models of contact tracing by calibrating the model to be compatible with SARS-CoV-2. Our experiments show that location-based bulletin board contact tracing can improve manual contact tracing.
△ Less
Submitted 20 November, 2020;
originally announced December 2020.
-
Multi-View Kernel Consensus For Data Analysis
Authors:
Moshe Salhov,
Ofir Lindenbaum,
Yariv Aizenbud,
Avi Silberschatz,
Yoel Shkolnisky,
Amir Averbuch
Abstract:
The input data features set for many data driven tasks is high-dimensional while the intrinsic dimension of the data is low. Data analysis methods aim to uncover the underlying low dimensional structure imposed by the low dimensional hidden parameters by utilizing distance metrics that consider the set of attributes as a single monolithic set. However, the transformation of the low dimensional phe…
▽ More
The input data features set for many data driven tasks is high-dimensional while the intrinsic dimension of the data is low. Data analysis methods aim to uncover the underlying low dimensional structure imposed by the low dimensional hidden parameters by utilizing distance metrics that consider the set of attributes as a single monolithic set. However, the transformation of the low dimensional phenomena into the measured high dimensional observations might distort the distance metric, This distortion can effect the desired estimated low dimensional geometric structure. In this paper, we suggest to utilize the redundancy in the attribute domain by partitioning the attributes into multiple subsets we call views. The proposed methods utilize the agreement also called consensus between different views to extract valuable geometric information that unifies multiple views about the intrinsic relationships among several different observations. This unification enhances the information that a single view or a simple concatenations of views provides.
△ Less
Submitted 29 January, 2019; v1 submitted 28 June, 2016;
originally announced June 2016.
-
Learning and Verifying Quantified Boolean Queries by Example
Authors:
Azza Abouzied,
Dana Angluin,
Christos Papadimitriou,
Joseph M. Hellerstein,
Avi Silberschatz
Abstract:
To help a user specify and verify quantified queries --- a class of database queries known to be very challenging for all but the most expert users --- one can question the user on whether certain data objects are answers or non-answers to her intended query. In this paper, we analyze the number of questions needed to learn or verify qhorn queries, a special class of Boolean quantified queries who…
▽ More
To help a user specify and verify quantified queries --- a class of database queries known to be very challenging for all but the most expert users --- one can question the user on whether certain data objects are answers or non-answers to her intended query. In this paper, we analyze the number of questions needed to learn or verify qhorn queries, a special class of Boolean quantified queries whose underlying form is conjunctions of quantified Horn expressions. We provide optimal polynomial-question and polynomial-time learning and verification algorithms for two subclasses of the class qhorn with upper constant limits on a query's causal density.
△ Less
Submitted 15 April, 2013;
originally announced April 2013.
-
The Lowell Database Research Self Assessment
Authors:
Serge Abiteboul,
Rakesh Agrawal,
Phil Bernstein,
Mike Carey,
Stefano Ceri,
Bruce Croft,
David DeWitt,
Mike Franklin,
Hector Garcia Molina,
Dieter Gawlick,
Jim Gray,
Laura Haas,
Alon Halevy,
Joe Hellerstein,
Yannis Ioannidis,
Martin Kersten,
Michael Pazzani,
Mike Lesk,
David Maier,
Jeff Naughton,
Hans Schek,
Timos Sellis,
Avi Silberschatz,
Mike Stonebraker,
Rick Snodgrass
, et al. (4 additional authors not shown)
Abstract:
A group of senior database researchers gathers every few years to assess the state of database research and to point out problem areas that deserve additional focus. This report summarizes the discussion and conclusions of the sixth ad-hoc meeting held May 4-6, 2003 in Lowell, Mass. It observes that information management continues to be a critical component of most complex software systems. It…
▽ More
A group of senior database researchers gathers every few years to assess the state of database research and to point out problem areas that deserve additional focus. This report summarizes the discussion and conclusions of the sixth ad-hoc meeting held May 4-6, 2003 in Lowell, Mass. It observes that information management continues to be a critical component of most complex software systems. It recommends that database researchers increase focus on: integration of text, data, code, and streams; fusion of information from heterogeneous data sources; reasoning about uncertain data; unsupervised data mining for interesting correlations; information privacy; and self-adaptation and repair.
△ Less
Submitted 6 October, 2003;
originally announced October 2003.
