WorldCat Identities

Winslett, Marianne Southall

Overview
Works: 56 works in 108 publications in 1 language and 1,039 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other
Classifications: QA76.9.D3, 005.74
Publication Timeline
.
Most widely held works by Marianne Southall Winslett
Updating logical databases by Marianne Southall Winslett( Book )

15 editions published between 1990 and 2005 in English and Undetermined and held by 249 WorldCat member libraries worldwide

This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method for specifying the desired change intentionally, using a 'formula-based' approach to updating needs rather than a 'model-based' technique. The complexity of the algorithms, choice of semantics and a means of enforcing integrity constraints are also discussed. The book will be of value to all involved in database research
Scientific and Statistical Database Management 21st International Conference, SSDBM 2009 New Orleans, LA, USA, June 2-4, 2009 Proceedings by Marianne Southall Winslett( )

17 editions published in 2009 in English and Undetermined and held by 83 WorldCat member libraries worldwide

Annotation
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data : SIGMOD '94, Minneapolis, Minnesota, May 24-27, 1994 by ACM-Sigmod International Conference on Management of Data( Book )

4 editions published in 1994 in English and held by 49 WorldCat member libraries worldwide

Negotiating trust on the grid( )

1 edition published in 2005 in English and held by 15 WorldCat member libraries worldwide

Circumscribing equality by Peter Rathmann( Book )

4 editions published in 1988 in English and Undetermined and held by 14 WorldCat member libraries worldwide

Reasoning about action using a possible models approach by Marianne Southall Winslett( Book )

4 editions published in 1988 in English and held by 13 WorldCat member libraries worldwide

Updating databases with incomplete information by Marianne Southall Winslett( Book )

4 editions published between 1986 and 1987 in English and held by 13 WorldCat member libraries worldwide

Suppose one wishes to construct, use, and maintain a database of facts about the real world, even though the state of that world is only partially known. In the artificial intelligence domain, this problem arises when an agent has a base set of beliefs that reflect partial knowledge about the world, and then tries to incorporate new, possibly contradictory knowledge into this set of beliefs. In the database domain, one facet of this situation is the well-known null values problem. We choose to represent such a database as a logical theory, and view the models of the theory as representing possible states of the world that are consistent with all known information. How can new information be incorporated into the database? For example, given the new information that 'b or c is true, ' how can one get rid of all outdated information about b and c, add the new information, and yet in the process not disturb any other information in the database? In current-day database management systems, the difficult and tedious burden of determining exactly what to add and remove from the database is placed on the user. Our research has produced a formal method of specifying the desired change intentionally, by stating a well-formed formula that the state of the world is now known to satisfy. The database update algorithms we provide will automatically accomplish that change. Our approach embeds the incomplete database and the incoming information in the language of mathematical logic, and gives formal definitions of the semantics of our update operators, along with proofs of correct ness for their associated algorithms
A formalization of correctness for linked representations of datapath hardware by David A Knapp( Book )

2 editions published in 1989 in English and held by 11 WorldCat member libraries worldwide

Equality and circumscription by Peter Rathmann( Book )

3 editions published in 1990 in English and held by 10 WorldCat member libraries worldwide

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data SIGMOD '94 ; Minneapolis, Minnesota ; May 24 - 27, 1994 by Minneapolis, Minn.) International Conference on Management of Data (1994( Book )

4 editions published in 1994 in English and held by 9 WorldCat member libraries worldwide

Reflective Database Access Control by Lars E Olson( )

1 edition published in 2009 in English and held by 4 WorldCat member libraries worldwide

Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an access control list. RDBAC aids the management of database access controls by improving the expressiveness of policies. However, such policies introduce new interactions between data managed by different users, and can lead to unexpected results if not carefully written and analyzed. We propose the use of Transaction Datalog syntax and semantics as a formal framework for expressing reflective access control policies. Using a formal logic-based language provides a basis for analyzing policies and enables secure implementations that can guarantee that certain configurations built on these policies cannot be subverted. We demonstrate this by defining two classes of policy configurations, and proving that under any set of such policies, a decidable algorithm can determine whether or not access to a sensitive data item can ever be leaked to an unprivileged user. Although the Transaction Datalog language provides a powerful syntax and semantics for expressing RDBAC policies, there is no efficient implementation of this language for practical database systems. We demonstrate a strategy for compiling policies into standard SQL views that enforce the policies, including overcoming significant differences in semantics between the languages in handling side-effects and evaluation order. We also report the results of evaluating the performance of these views compared to policies enforced by traditional access control lists, using a common off-the-shelf relational database management system. We also present two case studies for systems that can be protected using RDBAC security policies. These case studies demonstrate the flexibility of the system by implementing a wide range of functionality, as well as the practicality and scalability of using such a system in real-world applications that require non-trivial policy definitions on large data sets. This work establishes the theoretical soundness of using RDBAC as a basis for access control. It describes an efficient translation process for executing a useful subset of RDBAC rules in standard SQL, thereby demonstrating its practical feasibility using existing software. We show how RDBAC can be applied to realistic applications. These results suggest a rich field of further research
The Moses project by Marianne Southall Winslett( Book )

1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide

The performance of CAD databases : Unify'd Magic by S Chu( Book )

2 editions published in 1990 in English and held by 2 WorldCat member libraries worldwide

Abstract: "Performance will be a deciding factor in the acceptance of database systems as a replacement for file systems in CAD applications. Recently researchers have argued that the architecture of a DBMS is a decisive factor in performance, and is relatively independent of the data model of the DBMS [Lin90]. In this paper, we provide evidence to support this claim, in the form of benchmarks showing satisfactory performance of a commercial DBMS with an unpromising data model (the relational data model), coupled with a popular CAD tool, operating on realistic chip designs. In these experiments, response time for tool commands involving retrieval of data from the DBMS was within 25 percent of the response time when using ordinary files
Proceedings of the second ACM Workshop on Digital Identity Management Alexandria (Virginia), October 30, 2006 by ACM Workshop on Digital Identity Management( Book )

2 editions published in 2006 in English and held by 2 WorldCat member libraries worldwide

SIGMOD '94 : International conference on management of data : Papers( Book )

1 edition published in 1994 in English and held by 2 WorldCat member libraries worldwide

Proceedings of the fourth ACM Workshop on Formal Methods in Security Alexandria (Virginia), November 3, 2006 by ACM Workshop on Formal Methods in Security Engineering( Book )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Proceedings of the 5th ACM Workshop on Privacy in Electronic Society Alexandria (Virginia), October 30, 2006 by ACM Workshop on Privacy in the Electronic Society( Book )

2 editions published in 2006 in English and held by 1 WorldCat member library worldwide

Proceedings of the Workshop at SIGGRAPH Asia 2012 : WASA 2012 : Fusionopolis, Singapore November 26-27, 2012( )

1 edition published in 2012 in English and held by 0 WorldCat member libraries worldwide

Cambridge Tracts in Theoretical Computer Science, Volume 9 by Marianne Southall Winslett( )

1 edition published in 2011 in English and held by 0 WorldCat member libraries worldwide

Proceedings, WASA 2012 : Workshop at SIGGRAPH Asia 2012 : Fusionopolis, Singapore, November 26-27, 2012 by Workshop at SIGGRAPH Asia( Visual )

1 edition published in 2012 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.68 (from 0.44 for Proceeding ... to 0.91 for Negotiatin ...)

Updating logical databases
Alternative Names
Marianne Winslett Computer scientist

Winslett, Marianne Southall

Languages
English (68)

Covers
Scientific and Statistical Database Management 21st International Conference, SSDBM 2009 New Orleans, LA, USA, June 2-4, 2009 Proceedings