Mazda Trio Meeting

Trio: A System for Data, Uncertainty, and Lineage Search “stanford trio” http://i.stanford.edu/trio DATA UNCERTAINTY LINEAGE

People ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Why Uncertainty + Lineage? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Trio Components ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Running Example: Crime-Solving ,[object Object],[object Object],[object Object]

Our Model for Uncertainty ,[object Object],[object Object],[object Object]

Our Model for Uncertainty ,[object Object],[object Object],[object Object],= Three possible instances (Amy, Honda) ∥ (Amy, Toyota) ∥ (Amy, Mazda) Saw (witness,car) { Honda, Toyota, Mazda } car Amy witness

Our Model for Uncertainty ,[object Object],[object Object],[object Object],Six possible instances ? (Amy, Honda) ∥ (Amy, Toyota) ∥ (Amy, Mazda) (Betty, Acura) Saw (witness,car)

Our Model for Uncertainty ,[object Object],[object Object],[object Object],? Six possible instances, each with a probability (Amy, Honda): 0.5 ∥ (Amy,Toyota): 0.3 ∥ (Amy, Mazda): 0.2 (Betty, Acura): 0.6 Saw (witness,car)

Models for Uncertainty ,[object Object],[object Object],[object Object],[object Object],[object Object]

Our Model is Not Closed Suspects = π person (Saw ⋈ Drives) ? ? ? Does not correctly capture possible instances in the result CANNOT (Cathy, Honda) ∥ (Cathy, Mazda) Saw (witness,car) (Billy, Honda) ∥ (Frank, Honda) (Hank, Honda) (Jimmy, Toyota) ∥ (Jimmy, Mazda) Drives (person,car) Jimmy Billy ∥ Frank Hank Suspects

Lineage to the Rescue ,[object Object],[object Object],[object Object]

Example with Lineage ? ? ? Suspects = π person (Saw ⋈ Drives) λ (31) = (11,2),(21,2) λ (32,1) = (11,1),(22,1); λ (32,2) = (11,1),(22,2) λ (33) = (11,1), 23 11 ID (Cathy, Honda) ∥ (Cathy, Mazda) Saw (witness,car) 23 22 21 ID (Billy, Honda) ∥ (Frank, Honda) (Hank, Honda) (Jimmy, Toyota) ∥ (Jimmy, Mazda) Drives (person,car) 33 32 31 ID Jimmy Billy ∥ Frank Hank Suspects Correctly captures possible instances in the result

Uncertainty-Lineage Databases (ULDBs) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

ULDBs: Lineage ,[object Object],[object Object],[object Object],[object Object]

ULDBs: Interesting Questions ,[object Object],[object Object],[object Object],[object Object],[object Object]

Example: Extraneous Data extraneous ? ? ? (Diane, Mazda) ∥ (Diane, Acura) Diane (Diane, Mazda) (Diane, Acura)

Example: Coexistence ? ? ? ? Can’t coexist Mazda Acura (Diane, Mazda) ∥ (Diane, Acura) (Diane, Mazda) (Diane, Acura)

Querying ULDBs: Semantics ,[object Object],D D 1 , D 2 , …, D n possible instances Q on each instance representation of instances Q(D 1 ), Q(D 2 ), …, Q ( D n ) D’ implementation of Q operational semantics D + Result

Querying ULDBs: TriQL ,[object Object],[object Object],[object Object],[object Object],[object Object]

Additional TriQL Constructs ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Confidence Computation ,[object Object],[object Object],[object Object],[object Object],SELECT person, min(conf(Saw),conf(Drives)) as conf FROM Saw, Drives WHERE Saw.car = Drives.car

Trio System: Version 1 Standard relational DBMS Trio API and translator (Python) Command-line client Trio Metadata TrioExplorer (GUI client) Trio Stored Procedures Encoded Data Tables Lineage Tables Standard SQL ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Current & Future Topics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Current & Future Topics ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Mazda Trio Meeting

Recommandé

Recommandé

Contenu connexe

En vedette

En vedette (11)

Similaire à Mazda Trio Meeting

Similaire à Mazda Trio Meeting (20)

Plus de CardinaleWay Mazda

Plus de CardinaleWay Mazda (20)

Dernier

Dernier (10)

Mazda Trio Meeting