Skip to content

Enron Email Database UseCase Doc

Jump to bottom
Qiaoran edited this page Feb 7, 2019 · 34 revisions

Enron Email Database UseCase Documents

Original Enron Email Database

Data Set

Enron Data is From here

Schema

employee(eid, firstname, lastname, email_id, email2, email3, email4, folder, status)

  • size: 149 tuples

message(mid, sender, date, message_id, subject, body, folder) 

  • size: 252771 tuples

recipientinfo(rid, mid, rtype, rvalue, dater) 

  • size: 2064442 tuples

referenceinfo(rfid, mid, reference) 

  • size: 54778

Enron Email Variational Database

1. Schema

employee(eid, firstname, lastname, email_id, folder, status, sign, public_key, did, presCond)

  • sign is responded to signature
  • public_key is responded to encryption
  • did is responded to mailhost

message(mid, sender, date, message_id, subject, body, folder, signature, encryption, presCond) 

  • is_signed is responded to signature
  • is_encrypted is responded to encryption

recipientinfo(rid, mid, rtype, rvalue_email, rvalue_nickname, presCond) 

  • rvalue_email is responded to (not addressbook)
  • rvalue_nickname is responded to addressbook

referenceinfo(rfid, mid, reference,presCond) 

auto_msg(eid, subject, body, presCond)

  • whole table will depend on autoresponder

forward_msg(eid, forwardaddr, presCond)

  • whole table is responded to forwardmessage

remail_msg(eid, pseudonym, presCond)

  • whole table is responded to remailmessage

filter_msg(eid, suffix, presCond)

  • whole table is responded to filtermessages

mailhost(did, domain, presCond)

  • whole table is responded to mailhost

alias(eid, email, nickname, presCond)

  • whole table is responded to addressbook

2. Features in Enron Email V-DB

  • sign
  • encrypt
  • addressBook

3. Features Proposed to add

  • AUTORESPONDER
    • add a new relation: autores(eid, subject, body)
  • FORWARDMESSAGES
  • REMAILMESSAGE
  • FILTERMESSAGES
    • combine FORWARDMESSAGES, REMAILMESSAGE, FILTERMESSAGES feature into one table (? may also combine addressbook)
    • add a new relation: alias2(eid, forwardaddr, pseudonym, username)
  • MAILHOST
    • add a new relation: suffixies(eid, suffix)

4. Proposed V-Schema

References

  1. Fundamental Nonmodularity in Electronic Mail
  2. SPLverifier: Model Checking of Software Product Lines
  3. Feature-Aware Verification
  4. SPL2go-Email JML
  5. SPL2go-EmailSystem_C
  6. SPL2go-EmailSystem_Java

Clone this wiki locally