A Formal Semantics for Data Analytics Pipelines.
Maurizio DroccoClaudia MisaleGuy TremblayMarco AldinucciPublished in: CoRR (2017)
Keyphrases
- formal semantics
- data analytics
- big data
- unstructured data
- data management
- logical language
- data analysis
- business intelligence
- open source
- cloud computing
- modeling language
- data processing
- social media
- knowledge discovery
- theorem prover
- data warehousing
- modelling language
- first order logic
- domain knowledge
- internet search
- search engine
- query processing
- relational databases
- database systems
- case study