Ubiquitous Data Gavin Bierman, Cambridge Peter Buneman, Edinburgh - - PowerPoint PPT Presentation

ubiquitous data
SMART_READER_LITE
LIVE PREVIEW

Ubiquitous Data Gavin Bierman, Cambridge Peter Buneman, Edinburgh - - PowerPoint PPT Presentation

Ubiquitous Data Gavin Bierman, Cambridge Peter Buneman, Edinburgh Philippa Gardner, Imperial 1 Databases The topic of databases emerged from two key requirements: simple abstraction of structured data robust, efficient


slide-1
SLIDE 1

Ubiquitous Data

Gavin Bierman, Cambridge Peter Buneman, Edinburgh Philippa Gardner, Imperial

1

slide-2
SLIDE 2

Databases

The topic of databases emerged from two key requirements:

  • simple abstraction of structured data
  • robust, efficient implementation of large quantities of data.

Successful solution: relational databases Distributed databases provide an early, practical example of mobile

  • code. The number of data locations is typically very small.

With ubiquitous databases, the emphasis is now on scale.

2

slide-3
SLIDE 3

Examples

Bioinformatics databases: 500 public databases, many commercial

  • databases. Key features:
  • evolving structure of data
  • few original data sources
  • continual monitoring of data sources for new information.

Future health care: patients ‘own’ their records such as genetic sequence data. A researcher correlating the occurrence of cardiovascular condition with genetic structure must

  • access potentially millions of databases
  • move trusted code to source data.

3

slide-4
SLIDE 4

Semi-structured Data

l m

y

Manipulation of such data is not straightforward. We must study

  • query languages: XQuery
  • pattern-matching languages: C# with XML types
  • storage and optimisation techniques
  • provenance and annotation.

4

slide-5
SLIDE 5

Processes

Process calculi provide primitives for describing and analysing global distributed infrastructure, focusing on

  • process migration
  • process interaction
  • private channel communication.

Example applications include

  • languages supporting distributed programming with process

mobility: polyphonic C#, BPEL

  • description and analysis of authentication protocols
  • typed processes to ensure fine-grained resource access control.

5

slide-6
SLIDE 6

Integrating Data and Processes

l m

y

link pointer process

6

slide-7
SLIDE 7

Integrating Data and Processes

l m

y

link pointer process

7

slide-8
SLIDE 8

Integrating Data and Processes

l m

y

link pointer process

8

slide-9
SLIDE 9

Integrating Data and Processes

l m

y

link pointer process

9

slide-10
SLIDE 10

Integrating Data and Processes

l m

y

link pointer process

10

slide-11
SLIDE 11

Integrating Data and Processes

l m

y

link pointer process

11

slide-12
SLIDE 12

Integrating Data and Processes

l m

y

link pointer process

12

slide-13
SLIDE 13

15 Year Challenge

To find a sound theoretical underpinning for languages and data associated with the Web.

13