Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2....

43
Quand nos vies numériques deviennent des bases de connaissances Serge Abiteboul INRIA & ENS Cachan http://abiteboul.com http://binaire.blog.lemonde.fr

Transcript of Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2....

Page 1: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Quand nos vies numériques deviennent des bases de connaissances

Serge Abiteboul

INRIA & ENS Cachan

http://abiteboul.com http://binaire.blog.lemonde.fr

Page 2: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

1.   The  Pims  2.  The  Pims  are  arriving  and  that  is  cool  3.  Research  issues  4.  Webdamlog  in  short    - Managing  your  digital  life  with  a  Personal  informa?on  management  system,    with  Benjamin  André  &  Daniel  Kaplan,    to  appear  in  Communica.ons  of  the  ACM  

-  Tutorial  in  EDBT’15  soon  with  Amélie  Marian    

  Serge  Abiteboul  -­‐  11111011111   2  

Page 3: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Personal  data  explosion  •  Data  and  metadata  we  produce  

–  Pictures,  reports,  emails,  tweets,  recommenda?on,  social  network…  

•  Data  we  like/buy  –  Books,  music,  movies…  

•  Data  various  organiza?ons  &  vendors  produce  about  us  –  Public  administra?on,  schools,  insurances,  banks…  –  Amazon,  retailers,  neUlix,  applestore…    

•  Data  that  sensors  capture    with/without  our  knowledge  –  GPS,  web  naviga?on,  phone,  "quan?fied  self"  measurements,  

contactless  card  readings,  surveillance  camera  pictures…  

•  Others  data:  work,  social  contacts,  friends,  family  •  Security  data:  creden?als  on  various  systems…    

Serge  Abiteboul  -­‐  11111011111   3  

Page 4: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Personal  data  dispersion  Computer,  systems,  clouds,  devices  (phone,  tablet,  car…)…  •  Residen?al  boxes  (tvbox),  NAS,  electronic  vaults…  •  Mail,  address  book,  agenda,  todo-­‐lists  •  Facebook,  LinkedIn,  Picasa,  YouTube,  Tweeter  •  Amazon  (books),  iTunes  (music),  NeUlix  (movies)  •  Svn,  Google  docs,  Dropbox  •  Government  &  business  services  •  Also  machine  and  systems  from  

–  family,  friends,  associa?ons,  work  •  Systems  even  unknown  to  the  user    

–  third  party  cookies  

Serge  Abiteboul  -­‐  11111011111   4  

Page 5: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Personal  data  heterogeneity  

Type:  text,  rela?onal,  HTML,  XML,  pdf…  Terminology/structure/ontology  Systems:  MS,  Linux,  IOS,  Android  Distribu?on  Security  protocols  Quality:  incomplete  /  inconsistent  informa?on    

Serge  Abiteboul  -­‐  11111011111   5  

Page 6: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Bad  news  

•  Limited  func?onali?es  because  of  the  silos  –  Difficult  to  do  global  search,  synchroniza?on,  task  sequencing  over  dis?nct  systems…  

•  Loss  of  control  over  the  data  –  Difficult  to  control  privacy  –  Leaks  of  private  informa?on  

•  Loss  of  freedom  –  Vendor  lock-­‐in  

Serge  Abiteboul  -­‐  11111011111   6  

Page 7: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Alterna?ves  

1.  Con?nue  with  the  mess  –  Use  a  shrink  for  frustra?on  

2.  Regroup  all  your  data                        on  the  same  plaUorm  

–  Google,  Apple,  Facebook,  …,  a  new  comer  –  Use  a  shrink  to  overcome  resentment  

3.  Study  2  years  to  become  a  geek  –  Geeks  know  how  to  manage  their  informa?on    –  Use  a  shrink  to  survive  the  experience  

Serge  Abiteboul  -­‐  11111011111   7  

Where  do  you  keep  your  data?  

Page 8: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Information is a vital assetWe have little control over our personal info

There is another option…

Thesis: We should regain control of our information, e.g., with a PIMS

Serge  Abiteboul  -­‐  11111011111   8  

Page 9: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

The  Pims  

•  Personal  informa?on  management  system  •  What  is  a  successful  Web  service  today  

– Some  great  sonware  – Some  machines  on  which  it  runs  – And    a  business  model  

•  Separate  the  first  two  facets  – Some  company  provides  the  sonware  –  It  runs  on  your  machine  – With  a  business  model  

Serge  Abiteboul  -­‐  11111011111   9  

Page 10: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

The  Pims  

•   The  user  selects  a  server  –  The  user  owns/pays  for  a  hosted  server  –  Physically  located  at  the  user’s  home  (e.g.,  a  tvbox)  or  not  –  Running  on  a  single  machine  or  distributed  –  On  the  cloud    so  reachable  from  anywhere  

•  The  Pims  runs  the  applica?on  sonware    –  The  user  chooses  the  code  to  deploy  on  the  server  –  The  sonware  is  open  source,  a  requirement  for  security  

•  The  Pims  manages  the  user's  data  –  All  the  user’s  personal  informa?on  –  Possibly  replicated  from  external  services  

Serge  Abiteboul  -­‐  11111011111   10  

Page 11: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

1.  The  Pims  2.   The  Pims  are  arriving  and  that  is  cool  3.  Research  issues  4.  Webdamlog  in  short    - Managing  your  digital  life  with  a  Personal  informa?on  management  system,    with  Benjamin  André  &  Daniel  Kaplan,    to  appear  in  Communica.ons  of  the  ACM  

-  Tutorial  in  EDBT’15  soon  with  Amélie  Marian    

  Serge  Abiteboul  -­‐  11111011111   11  

Page 12: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Society  is  ready  to  move  

•  Growing  resentment    –  Against  companies:  intrusive  marke?ng,  cryp?c  personaliza?on  and  business  decisions  (e.g.,  on  pricing),  creepy  "big  data"  inferences  

–  Against  governments:  NSA  and  its  European  counterparts)  •  Increasing  awareness  of  the  dissymmetry    

–  between  what  these  systems  know  about  a  person,  and  what  the  person  actually  knows  

•  Emerging  understanding  of  the  value  of  personal  data  for  individuals  –  Quan?fied  self  

Serge  Abiteboul  -­‐  11111011111   12  

Page 13: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Society  is  ready  to  move  (2)  

•  Privacy  control:  regula?ons  in  Europe  •  Informa?on  symmetry:  Vendor  rela?on  management  

•  Many  reports/proposals  that  affirm  the  ownership  of  personal  data  by  the  person  

•  Personal  data  disclosure  ini?a?ves    –  Smart  Disclosure  (US);  MiData  (UK),  MesInfos  (France)  –  Several  large  companies  (network  operators,  banks,  retailers,  insurers…)  agreeing  to  share  with  customers  the  personal  data  that  they  have  about  them  

Serge  Abiteboul  -­‐  11111011111   13  

Page 14: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Technology  is  gearing  up  

•  System  administra?on  is  easier  – Abstrac?on  technologies  for  servers  –   Virtualiza?on  and  configura?on  management  tools  

•  Open  source  technology  more  and  more  available  for  services  

•  Price  of  machines  is  going  down  – A  hosted-­‐low  cost  server  is  as  cheap  as  5€/month  –  Paying  is  no  longer  a  barrier  for  a  majority  of  people  

You  may  have  friends  already  doing  it  Serge  Abiteboul  -­‐  11111011111   14  

Page 15: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Technology  is  gearing  up  (2)  •  Many  systems  &  projects  

–  Lifestreams,  Stuff-­‐I’ve-­‐Seen,  Haystack,  MyLifeBits,  Connec?ons,  Seetrieve,  Personal  Dataspaces,  or  deskWeb.    

–  YounoHost,  Amahi,  ArkOS,  OwnCloud  or  Cozy  Cloud  •  Some  on  par?cular  aspects  

– Mailpile  for  mail  –  Lima  for  a  Dropbox-­‐like  service,  but  at  home.  –  Personal  NAS  (network-­‐connected  storage)  e.g.  Synologie  

–  Personal  data  store  SAMI  of  Samsung...  •  Many  more     Serge  Abiteboul  -­‐  11111011111   15  

Page 16: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Industry  is  interested    Pre-­‐digital  companies  

•  E.g.,  hotels  or  banks    •  Disintermediated  from  their  customers  by  pure  Internet  players  such  as  Google,  Amazon,  Booking.com,  Mint.    

•  In  Pims,  they  can  rebuild  direct  interac?on    •  The  playing  field  is  neutral    

– Unlike  on  the  Internet  where  they  have  less  data  •  They  can  offer  new  services  without  compromising  privacy  

Serge  Abiteboul  -­‐  11111011111   16  

Page 17: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Industry  is  interested    (2)  Home  appliances  companies  

•  Many  boxes  deployed  at  home  or  in  datacenters  –  Internet  access  provider  "boxes”,  NAS  servers,  "smart"  meters  provided  by  energy  vendors,  home  automa?on  systems,  "digital  lockers”…  

•  Personal  data  spaces  dedicated  to  specific  usage  

•  Could  evolve  to  become  more  generic  •  Control  of  private  Internet  of  objects  

Serge  Abiteboul  -­‐  11111011111   17  

Page 18: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Industry  is  interested    (3)  Pure  Internet  players  

•  Amazon:  great  know-­‐how  in  providing  services  •  Facebook,Google:  cannot  afford  to  be  out  of  a  movement  in  personal  data  management  

•  Very  far  from  their  business  model  based  on  personal  adver?sement  

•  Moving  to  this  new  market  would  require  major  changes  &  the  clarifica?on  of  the  rela?onship  with  users  w.r.t.  data  mone?za?on  

Serge  Abiteboul  -­‐  11111011111   18  

Page 19: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Advantages  –  rebalance  the  Web    •  User  control  over  their  data  

– Who  has  access  to  what,  under  what  rules,  to  do  what    •  User  empowerment  

–  They  choose  freely  services  &  they  can  leave  a  service  •  Par?cipa?on  to  a  more  “neutral”  Web  

– With  the  "network  effects",  the  main  plaUorms  are  accumula?ng  data/customers  and  distor?ng  compe??on  

–  The  Pims  bring  back  fairness  on  the  Web  – Good  prac?ces  are  encouraged,  e.g.,  interoperability,  portability  

Serge  Abiteboul  -­‐  11111011111   19  

Page 20: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Advantages  

New  func?onali?es  

               ➸  

                     Research  issues  

Serge  Abiteboul  -­‐  11111011111   20  

Page 21: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

1.  The  Pims  2.  The  Pims  are  arriving  and  that  is  cool  3.   Research  issues  4.  Webdamlog  in  short    - Managing  your  digital  life  with  a  Personal  informa?on  management  system,    with  Benjamin  André  &  Daniel  Kaplan,    to  appear  in  Communica.ons  of  the  ACM  

-  Tutorial  in  EDBT’15  soon  with  Amélie  Marian    

  Serge  Abiteboul  -­‐  11111011111   21  

Page 22: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

New  func?onali?es  

Many  research  issues  –  Onen  old  problems  revisited  

•  Epsilon-­‐principle  •  Seman?c  global  search  &  knowledge  mangt  •  Synchroniza?on/backups  &  Task  sequencing    •  Access  control  &  Exchange  of  informa?on  •  Connected  objects  control  •  Personal  data  analysis    

Serge  Abiteboul  -­‐  11111011111   22  

Page 23: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Epsilon-­‐admin  &  Epsilon-­‐competence  

•  System  administraBon:    epsilon-­‐user-­‐admin    – Help  the  user  for  synchroniza?on,  back-­‐up…  – Help  op?mize  access  to  resources  – With  epsilon  competence  

•  Security  &  access  control:  epsilon-­‐user-­‐spec  – Help  the  user  specify  sharing  – Control  what  others  do  with  user’s  data  – With  epsilon  competence  

Serge  Abiteboul  -­‐  11111011111   23  

Page 24: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Seman?c  global  search  

•  Get  all  the  personal  data/info  of  a  person  – Mail,  phone,  social  networks,  web  search,  health  &  digital  self,  photos,  blogs,  bank,  insurance…  

– Also  from  rela?ves,  friends,  business  – Also  data  of  interest  from  the  Web  

•  Integrate  all  this  – Alignment  – Cleaning  

•  Exploit  it:  search  &  monitoring…  

Serge  Abiteboul  -­‐  11111011111   24  

Page 25: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

From  data/informa?on  to  knowledge  

•  Personal  data/info  management  is  gewng  too  complicated,  we  need  sonware  support  – Machines  prefer  structured  knowledge  to  unstructured  informa?on  or  seman?c-­‐free  data  

–   Essen?al  for  collabora?on  with  other  systems  •  Lots  of  knowledge  already  produced  by  sonware  •  We  should  turn  the  Web  into  a  distributed  knowledge  base  with  machines/systems  

•  Storing,  producing,  extrac?ng,  exchanging  knowledge  

• And  reasoning  

Serge  Abiteboul  -­‐  11111011111   25  

Page 26: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Some  issues  I  worked  on  •  Knowledge  integra?on    

–  Alignment  of  concepts  •  Imprecision  and  contradic?on  

–  Probabilis?c  databases  •  Access  control  and  privacy  

– What  can  other  do  about  your  data  – What  can  applica?ons  you  use  do  with  it  –  Provenance  

(Work  around  Webdamlog:  a  datalog  extension  with  distribu?on,  delega?on,  access  control,  probabili?es)  

Far  from  being  closed  J      

Serge  Abiteboul  -­‐  11111011111   26  

Page 27: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Personal  data  analysis  

•  OK  this  is  not  Big  data  •  Support  for  decision  making  and  predic?on    •  Difficul?es  

– Less  data  makes  sta?s?cs  harder  – Very  varying  data  quality:  imprecision,  inconsistencies  

– Privacy  – Data  comes  from  many  systems    

Serge  Abiteboul  -­‐  11111011111   27  

Page 28: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

28  

 On  the  Web,  if  you  don’t  know  something,  it  may  be  out  there…  Or  not        –  open  world  reasoning  

Difficul?es  – We  cannot  bring  all  the  Web  locally  – We  cannot  visit  all  the  Web  –  How  do  I  know  where  to  find  something?  –  How  do  I  know  it  is  not  out  there?  

Serge  Abiteboul  -­‐  11111011111  

Page 29: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Explaining  

•  Users  want  to  understand  the  informaBon    they  see,  the  answers  they  are  given  –  In  their  professional/social  life    

•  Difficul?es  – Reasoning  with  large  number  of  facts    –  Informa?on  is  onen  probabilis?c  and  not  public  – Requires  knowing  how  the  informa?on  was  obtained  (its  provenance)  

29  Serge  Abiteboul  -­‐  11111011111  

Page 30: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Serendipity  •  You  may  hear  by  chance  a  

song  that  is  going  to  totally  obsess  you  

•  A  librarian  may  suggest  your  reading  a  book  that  will  change  your  life  

This  is  serendipity  

•  A  perfect  search  engine    •  A  perfect  recommenda?on  

system  •  A  perfect  computer  assistant  Such  systems  are  boring      

They  lack  serendipity  

30  

Design  programs  that  would  help  introduce  serendipity  in  our  lives  

Serge  Abiteboul  -­‐  11111011111  

Page 31: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Hypermnesia  

Excep.onally  exact  or  vivid  memory,  especially  as  associated  with  certain  mental  illnesses  

For  a  user:  We  cannot  live  knowing  that  any  word,  any  move  will  leave  a  trace?    

For  the  ecosystem:  We  cannot  store  all  the  data  we  produce  –  lack  of  storage  resources    

 

31  

ForgeMng  is  Key  to  a  Healthy  Mind  Scien.fic  American  Image:  Aaron  Goodman  

A  main  issue  is  to  select  the  informaBon  we  choose  to  keep     Serge  Abiteboul  -­‐  11111011111  

Page 32: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Babel  of  human-­‐machine-­‐interac?on  

•  Each  ?me  a  user  interacts  with  a  data  source,  does  he  have  to  use  the  ontology  of  that  source  ?  

•  No!    •  Instead  of  a  user  adap?ng  to  the  ontologies  of  the  N  systems  he  uses  each  day  

•  We  want  the  N  systems  to  adapt  to  the  user’s  ontology    

32  Serge  Abiteboul  -­‐  11111011111  

Page 33: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

1.  The  Pims  2.  The  Pims  are  arriving  and  that  is  cool  3.  Research  issues  4.   Webdamlog  in  short    -  ERC  Webdam,  hyp://webdam.inria.fr    -  Recent:  Webdamlog  with  probabili?es  &  access  control  

 

 

Serge  Abiteboul  -­‐  11111011111   33  

Page 34: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Je  kiffe  datalog  

Datalog  Extensional  facts      friend(“peter”,”paul”)  friend(“paul”,  “mary”)  friend(“mary”,”sue”)      

Datalog  program    

       fof(x,y)  :-­‐  friend(x,y)          fof(x,y)  :-­‐  friend(x,z),  fof(z,y)  

Inten?onal  facts        fof(“peter”,”paul”)    fof(“peter”,”mary”)        fof(“peter”,  “sue”)    fof(“paul”,  “mary”)  fof(“paul”,  “sur”)            fof(“mary”,”sue”)      

34   Serge  Abiteboul  -­‐  11111011111  

Page 35: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

WebdamLog  

Extends  datalog  with  nega?on,  updates,  distribu?on,  ?me  &  delegaBon  

– Autonomous  and  asynchronous  peers  – Dynamic  network  &  dynamic  facts/rules  

 Influenced  by  Ac?ve  XML  (INRIA)  &  Dedalus  (UC  Berkeley)  

35   Serge  Abiteboul  -­‐  11111011111  

Page 36: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Facts  Facts  are  of  the  form  m@p(a1,  ...,  an),  where  

m  is  a  rela.on  name    &      p  is  a  peer  name  

Examples  

friend@my-­‐iphone(“peter”,  “paul”)          extensional  fof@my-­‐iphone(“adam”,  “paul”)          inten?onal    

 ontology:  [email protected]("Elvis”,  theKing)    localiza.on:  where@alice(pictures,  picasa/

alice)    access  rights:  right@picasa(pictures,  friends,  

read)  

36   Serge  Abiteboul  -­‐  11111011111  

Page 37: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Rules  

[at  amk]  fof@amk(x,y)  :-­‐  friend@amk(x,y)  fof@amk(x,y)  :-­‐  friend@serge(x,z),  fof@amk(z,y)  

37   Serge  Abiteboul  -­‐  11111011111  

Page 38: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Rules  

Classifica?on  based  on  locality  and  nature  of  head    Local  rule  at  my-­‐laptop:  all  predicates  in  the  body  of  the  rules  are  from  my-­‐laptop  

 Local  with  local  inten?onal  head    classic  datalog  Local  with  local  extensional  head    database  update  Local  with  non-­‐local  extensional  head  messaging  between  peers  Local  with  non-­‐local  inten?onal  head    view  delega?on  Non-­‐local            general  delega?on  

38   Serge  Abiteboul  -­‐  11111011111  

Page 39: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Local  rules  with  non-­‐local  extensional  head    

A  new  fact  is  sent  to  an  external  peer  via  a  message  $message@$peer($name,  “Happy  birthday!”)  :-­‐    

today@my-­‐iphone($date),  birthday@my-­‐iphone($name,  $message,  $peer,  $date)  

Extensional  facts:  

today@my-­‐iphone(March  6)  

birthday@my-­‐iphone(Manon,    sendmail,    gmail.com,  March  6)  

[email protected]("Manon”,    “Happy  birthday”)  

39   Serge  Abiteboul  -­‐  11111011111  

Page 40: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Some  works  

Webdam  peers  

–  Support  communica?on,  wrappers  to  external  systems,  manage  knowledge,  reason  

Manage  inconsistencies,  imprecision,  incompleteness  

–  Probabilis?c  data  Access  control  

–  Fine  grain  based  on  provenance  

40   Serge  Abiteboul  -­‐  11111011111  

Page 41: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Contribu?on  

The  general  approach        [ICDE’12]  The  WebdamLog  language      [PODS’11]  The  WebdamLog  System  based  on  Bud  engine/Berkeley  

–  [WebDB’11,  DBPL13,  demos  ICDE’11,  SIGMOD’14]  Contradic?ons,  inconsistencies    [ICDT’14]    On  going  -­‐  Op?miza?on  &  access  control  with  Drexel  Univ.  (Julia  Stoyanovich)  

–  Performance  evalua?on  shows  cost  is  acceptable  

 

41  Serge  Abiteboul  -­‐  11111011111  

Page 42: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

Conclusion  

We  proposed  two  thesis  1.   We  should  regain  control  of  our  informaBon,  

e.g.,  with  PIMS  2.   We  should  turn  the  Web    into  a  distributed  

knowledge  base  where  peers  share  facts  and  rules,  and  collaborate  

We  men?oned  research  issues  for  genera?ons  of  PhD  students  

  Serge  Abiteboul  -­‐  11111011111   42  

Page 43: Quand nos vies numériques deviennent des bases de ... · 1. ThePims 2. The&Pims&are&arriving&and&thatis&cool& 3. Research&issues& 4. Webdamlog&in&short &- Managing&your&digital&life&with&aPersonal&

http://abiteboul.com http://binaire.blog.lemonde.fr