ORCA: Fix assertion failure for dynamic table scan rewindability

Implements EpetRewindability() method for CPhysicalDynamicTableScan to properly
handle rewindability enforcement. The missing implementation caused assertion
failures in CGroupExpression when validating plan contexts, as the optimizer
couldn't determine if rewindability requirements were satisfied.

Author: yjhjstz

src/backend/gporca/libgpopt/include/gpopt/operators/CPhysicalDynamicTableScan.h

@@ -74,6 +74,9 @@ class CPhysicalDynamicTableScan : public CPhysicalDynamicScan
 	CPartitionPropagationSpec *PppsDerive(
 		CMemoryPool *mp, CExpressionHandle &exprhdl) const override;
 
+	// return rewindability property enforcing type for this operator
+	CEnfdProp::EPropEnforcingType EpetRewindability(CExpressionHandle &, const CEnfdRewindability *) const override;
+
 };	// class CPhysicalDynamicTableScan
 
 }  // namespace gpopt

src/backend/gporca/libgpopt/src/operators/CPhysicalDynamicTableScan.cpp

@@ -91,4 +91,19 @@ CPhysicalDynamicTableScan::PppsDerive(CMemoryPool *mp,
 	return pps;
 }
 
+
+CEnfdProp::EPropEnforcingType
+CPhysicalDynamicTableScan::EpetRewindability(CExpressionHandle &exprhdl,
+											 const CEnfdRewindability *per) const
+{
+	CRewindabilitySpec *prs = CDrvdPropPlan::Pdpplan(exprhdl.Pdp())->Prs();
+	if (per->FCompatible(prs))
+	{
+		// required rewindability is already provided
+		return CEnfdProp::EpetUnnecessary;
+	}
+
+	return CEnfdProp::EpetRequired;
+}
+
 // EOF