[
https://issues.apache.org/jira/browse/HUDI-7546?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Ethan Guo updated HUDI-7546:
----------------------------
Sprint: Sprint 2023-04-26, Sprint 2023-04-27 (was: Sprint 2023-04-26)
> TLA+ Spec for Hudi CC
> ---------------------
>
> Key: HUDI-7546
> URL: https://issues.apache.org/jira/browse/HUDI-7546
> Project: Apache Hudi
> Issue Type: Improvement
> Reporter: Vinoth Chandar
> Assignee: Vinoth Chandar
> Priority: Major
> Fix For: 1.0.0
>
>
> Aspects to model
> * Time generation.
> * NBCC and OCC, together with table services interplay (clustering,
> compaction, cleaning, indexing)
> *
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
