2015-12-15 17:22:45 +05:30
|
|
|
module Ringo.Extractor
|
2015-12-16 03:03:47 +05:30
|
|
|
( extractDimensionTables
|
|
|
|
, extractAllDimensionTables
|
2015-12-15 17:22:45 +05:30
|
|
|
, extractFactTable
|
|
|
|
) where
|
|
|
|
|
|
|
|
import Control.Monad.Reader (Reader, asks)
|
2015-12-16 16:57:10 +05:30
|
|
|
import Data.Maybe (mapMaybe, fromJust)
|
2015-12-15 17:22:45 +05:30
|
|
|
import Data.Monoid ((<>))
|
|
|
|
|
2015-12-15 18:22:51 +05:30
|
|
|
import Ringo.Extractor.Internal
|
2015-12-15 17:22:45 +05:30
|
|
|
import Ringo.Types
|
2015-12-16 02:05:36 +05:30
|
|
|
import Ringo.Utils
|
|
|
|
|
2015-12-16 03:03:47 +05:30
|
|
|
extractFactTable :: Fact -> Reader Env Table
|
|
|
|
extractFactTable fact = do
|
2015-12-16 02:05:36 +05:30
|
|
|
Settings {..} <- asks envSettings
|
2015-12-16 03:03:47 +05:30
|
|
|
allDims <- extractAllDimensionTables fact
|
|
|
|
table <- asks $ fromJust . findTable (factTableName fact) . envTables
|
2015-12-16 02:05:36 +05:30
|
|
|
|
|
|
|
let intType = "integer"
|
|
|
|
sourceColumnType colName = columnType . fromJust . findColumn colName . tableColumns $ table
|
|
|
|
|
|
|
|
columns = flip concatMap (factColumns fact) $ \col -> case col of
|
2015-12-16 16:57:10 +05:30
|
|
|
DimTime cName -> [ Column (timeUnitColumnName cName settingTimeUnit) intType NotNull ]
|
2015-12-16 02:05:36 +05:30
|
|
|
NoDimId cName -> [ fromJust . findColumn cName . tableColumns $ table]
|
|
|
|
FactCount cName -> [ Column cName intType NotNull ]
|
|
|
|
FactSum scName cName -> [ Column cName (sourceColumnType scName) NotNull ]
|
2015-12-16 16:57:10 +05:30
|
|
|
FactAverage scName cName -> [ Column (averageCountColummName cName) intType NotNull
|
|
|
|
, Column (averageSumColumnName cName) (sourceColumnType scName) NotNull
|
2015-12-16 02:05:36 +05:30
|
|
|
]
|
2015-12-16 16:57:10 +05:30
|
|
|
FactCountDistinct cName -> [ Column (countDistinctColumnName cName) (intType <> "[]") NotNull ]
|
2015-12-16 02:05:36 +05:30
|
|
|
_ -> []
|
|
|
|
|
2015-12-16 16:57:10 +05:30
|
|
|
fks = flip map allDims $ \(_, Table {..}) ->
|
|
|
|
let colName = factDimFKIdColumnName settingDimPrefix tableName
|
2015-12-16 02:05:36 +05:30
|
|
|
colNullable = if any ((== Null) . columnNullable) tableColumns then Null else NotNull
|
|
|
|
in (Column colName intType colNullable, ForeignKey tableName [(colName, "id")])
|
|
|
|
|
|
|
|
ukColNames =
|
|
|
|
(++ map (columnName . fst) fks)
|
|
|
|
. flip mapMaybe (factColumns fact) $ \col -> case col of
|
2015-12-16 16:57:10 +05:30
|
|
|
DimTime cName -> Just (timeUnitColumnName cName settingTimeUnit)
|
2015-12-16 02:05:36 +05:30
|
|
|
NoDimId cName -> Just cName
|
|
|
|
_ -> Nothing
|
|
|
|
|
2015-12-16 16:57:10 +05:30
|
|
|
return Table { tableName = extractedFactTableName settingFactPrefix (factName fact) settingTimeUnit
|
2015-12-16 02:05:36 +05:30
|
|
|
, tableColumns = columns ++ map fst fks
|
|
|
|
, tableConstraints = UniqueKey ukColNames : map snd fks
|
|
|
|
}
|