Enron Email Database UseCase Doc

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 encrypt
  • 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 encrypt

• 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
• 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)

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